diff --git a/os/run/bomb.run b/os/run/bomb.run new file mode 100644 index 000000000..687d9525a --- /dev/null +++ b/os/run/bomb.run @@ -0,0 +1,12 @@ +build "core init test/bomb drivers/timer" + +create_boot_directory + +install_config [exec cat "[genode_dir]/os/config/bomb"] + +build_boot_image "core init bomb timer" + +append qemu_args "-nographic -m 64" + +run_genode_until forever +