diff --git a/repos/mml/run/hello_mxtask.run b/repos/mml/run/hello_mxtask.run
index fb21871f90..de73b12439 100644
--- a/repos/mml/run/hello_mxtask.run
+++ b/repos/mml/run/hello_mxtask.run
@@ -1,154 +1,65 @@
set build_components {
core init timer app/hello_mxtask
- drivers/uart
- app/gdb_monitor
- lib/vfs/pipe
}
source ${genode_dir}/repos/base/run/platform_drv.inc
append_platform_drv_build_components
-lappend build_components "lib/gdbserver_platform-$::env(KERNEL)"
build $build_components
create_boot_directory
set config {
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
+
+
}
append_platform_drv_config
append config {
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
-
-
-
-
+
+
+
+
+
+ 2022-07-20 14:30
+
+
+
+
+
+
+
}
install_config $config
-proc binary_name_gdbserver_platform_lib_so { } {
- return "gdbserver_platform-$::env(KERNEL).lib.so"
-}
-
set boot_modules {
- core init timer vfs.lib.so libm.lib.so libc.lib.so stdcxx.lib.so pc_uart_drv vfs_pipe.lib.so gdb_monitor gdbserver_platform.lib.so ld.lib.so hello_mxtask
+ core init timer vfs.lib.so libm.lib.so libc.lib.so stdcxx.lib.so ld.lib.so hello_mxtask
}
append_platform_drv_boot_modules
-
build_boot_image $boot_modules
-#
-# Execute test case
-#
-#
-set local_port 5555
-
-# qemu config
-append qemu_args " -display none -m 8000M "
-
-# connect comport 0 to stdio
-append qemu_args " -serial stdio "
-
-# connect comport 1 with TCP port $local_port
-append qemu_args " -serial chardev:uart "
-append qemu_args " -chardev socket,id=uart,port=$local_port,host=localhost,server,nowait,ipv4 "
-
-run_genode_until {.*Remote debugging using /dev/terminal.*} 30
-
-puts "GDB monitor is up, starting GDB in a new terminal"
-
-source ${genode_dir}/repos/ports/run/gdb_monitor.inc
-
-# GDB loads symbols from 'debug/ld.lib.so'
-if { [have_spec nova] } {
- exec ln -sf ld-nova.lib.so debug/ld.lib.so
-}
-if { [have_spec foc] } {
- exec ln -sf ld-foc.lib.so debug/ld.lib.so
-}
-
-set gdb_target_binary "test-gdb_monitor"
-
-# sequence of GDB commands to execute at startup
-set gdb_cmds ""
-append gdb_cmds "-ex \"target remote localhost:$local_port\" "
-
-append gdb_cmds [gdb_initial_breakpoint_cmds $gdb_target_binary]
-
-# ask the user for confirmations again
-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\'" &
-
-interact -i [output_spawn_id]
+append qemu_args "-nographic -m 64"
+run_genode_until forever
\ No newline at end of file