diff --git a/repos/ports/run/gdb_monitor_interactive.run b/repos/ports/run/gdb_monitor_interactive.run
index 76e6360e90..5551aee813 100644
--- a/repos/ports/run/gdb_monitor_interactive.run
+++ b/repos/ports/run/gdb_monitor_interactive.run
@@ -62,8 +62,8 @@ set config {
-
-
+
+
@@ -71,7 +71,7 @@ set config {
-
+
@@ -97,7 +97,7 @@ proc binary_name_gdbserver_platform_lib_so { } {
set boot_modules {
core init timer
ld.lib.so libc.lib.so libm.lib.so vfs.lib.so stdcxx.lib.so
- pc_uart_drv vfs_pipe.lib.so
+ pc_uart_drv posix.lib.so vfs_pipe.lib.so
gdb_monitor gdbserver_platform.lib.so test-gdb_monitor
}
@@ -110,7 +110,7 @@ build_boot_image $boot_modules
set local_port 5555
# qemu config
-append qemu_args " -nographic "
+append qemu_args " -display none "
# connect comport 0 to stdio
append qemu_args " -serial stdio "
@@ -146,7 +146,7 @@ append gdb_cmds {-ex "set interactive-mode auto" }
puts "command: [gdb] debug/ld.lib.so $gdb_cmds"
-exec [terminal] -e "bash -lc \"[gdb] debug/ld.lib.so $gdb_cmds\"" &
+exec [terminal] -e "bash -lc \'[gdb] debug/ld.lib.so $gdb_cmds\'" &
interact -i [output_spawn_id]
diff --git a/repos/ports/run/gdb_monitor_target_config.run b/repos/ports/run/gdb_monitor_target_config.run
index a34117886c..0e6ba40db2 100644
--- a/repos/ports/run/gdb_monitor_target_config.run
+++ b/repos/ports/run/gdb_monitor_target_config.run
@@ -61,8 +61,8 @@ set config {
-
-
+
+
@@ -71,7 +71,7 @@ set config {
-
+
@@ -144,7 +144,7 @@ append gdb_cmds [gdb_initial_breakpoint_cmds $gdb_target_binary]
# continue execution
append gdb_cmds {-ex "c" }
-exec [terminal] -e "bash -lc \"[gdb] debug/ld.lib.so $gdb_cmds\"" &
+exec [terminal] -e "bash -lc \'[gdb] debug/ld.lib.so $gdb_cmds\'" &
interact -i [output_spawn_id]