# # Build # set build_components { core init app/rom_logger app/rom_to_file drivers/timer server/dynamic_rom server/fs_rom server/vfs } build $build_components create_boot_directory # # Generate config # append config { } install_config $config # # Boot modules # # generic modules set boot_modules { core ld.lib.so init dynamic_rom fs_rom rom_logger rom_to_file timer vfs vfs.lib.so } build_boot_image $boot_modules append qemu_args " -nographic" run_genode_until {.*.*} 60