From c9f2847420d259bcdc58922a2a7eca5784ed6ee0 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 9 Jul 2020 20:45:44 +0200
Subject: [PATCH] foc: make serial esc functional

---
 tool/run/boot_dir/foc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run/boot_dir/foc b/tool/run/boot_dir/foc
index 8c70cc1fde..41f6c23eaa 100644
--- a/tool/run/boot_dir/foc
+++ b/tool/run/boot_dir/foc
@@ -113,7 +113,7 @@ proc run_boot_dir_x86 {binaries} {
 		puts $fh " insmod multiboot"
 		puts $fh " multiboot /boot/bender"
 		puts $fh " module /boot/bootstrap"
-		puts $fh " module /boot/kernel [fiasco_serial_esc_arg]"
+		puts $fh " module /boot/kernel fiasco [fiasco_serial_esc_arg]"
 		puts $fh " module /boot/sigma0"
 		puts $fh " module /boot/image.elf"
 		puts $fh "}"