set build_components { core init timer test/libc_with_libc } source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components build $build_components create_boot_directory set config { } append_platform_drv_config append config { } install_config $config set boot_modules { core init timer ld.lib.so libc.lib.so vfs.lib.so test-libc_with_libc } append_platform_drv_boot_modules build_boot_image $boot_modules append qemu_args " -nographic " run_genode_until ".*finished with_libc tests.*\n" 10