From 242d51033f30136686d07afe6ea747df0710f3a8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 5 Apr 2013 15:08:10 +0200
Subject: [PATCH] terminal_mux.run: Don't use uart_drv on Fiasco.OC

---
 gems/run/terminal_mux.run | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gems/run/terminal_mux.run b/gems/run/terminal_mux.run
index bd7bb476f0..6365c6a864 100644
--- a/gems/run/terminal_mux.run
+++ b/gems/run/terminal_mux.run
@@ -142,13 +142,14 @@ install_config $config
 
 # generic modules
 set boot_modules {
-	core init timer ld.lib.so noux terminal_mux terminal_log uart_drv
+	core init timer ld.lib.so noux terminal_mux terminal_log
 	test-signal cli_monitor
 	libc.lib.so libm.lib.so libc_noux.lib.so libc_terminal.lib.so ncurses.lib.so
 	vim.tar
 }
 
-lappend_if [have_spec foc] boot_modules kdb_uart_drv
+lappend_if [expr ![have_spec foc]] boot_modules uart_drv
+lappend_if [have_spec foc]         boot_modules kdb_uart_drv
 
 set fiasco_serial_esc_arg ""