set build_components { core init hoitaja timer app/yield_bench } source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components build $build_components create_boot_directory set config { } install_config $config set boot_modules { core init hoitaja timer vfs.lib.so ld.lib.so benchmark_resource_yield } append_platform_drv_boot_modules build_boot_image $boot_modules append qemu_args "-nographic " run_genode_until forever