build { core init drivers/timer noux/minimal lib/libc_noux noux-pkg/coreutils } create_boot_directory install_config { Muck OS XIII localhost norisc } build_boot_image { core init timer ld.lib.so noux libc.lib.so libm.lib.so posix.lib.so libc_noux.lib.so coreutils.tar } append qemu_args " -nographic -serial mon:stdio " # coreutils.tar is really huge when built for x86_64 run_genode_until {child "noux" exited with exit value 0.*\n} 30