diff --git a/repos/mml/run/blinktree.run b/repos/mml/run/blinktree.run index a73e1faaaf..24f929c092 100644 --- a/repos/mml/run/blinktree.run +++ b/repos/mml/run/blinktree.run @@ -22,6 +22,7 @@ set config { + @@ -38,8 +39,9 @@ set config { append_platform_drv_config append config { - - + + + @@ -64,10 +66,11 @@ append config { install_config $config set boot_modules { - core init timer vfs.lib.so ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so blinktree fill_randint_workloada mixed_randint_workloada + core init timer vfs.lib.so ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so posix.lib.so blinktree fill_randint_workloada mixed_randint_workloada } append_platform_drv_boot_modules build_boot_image $boot_modules -append qemu_args "-nographic -m 64" \ No newline at end of file +append qemu_args "-nographic" +run_genode_until forever