if {[have_spec linux]} { puts "The [run_name] scenario requires QEMU networking." exit 1 } source ${genode_dir}/repos/base/run/platform_drv.inc set build_components { core init app/drill timer drivers/nic drivers/rtc lib/vfs/jitterentropy } append_platform_drv_build_components build $build_components create_boot_directory append config { } append_platform_drv_config append config { } install_config $config set boot_modules { core init ld.lib.so drill libc.lib.so vfs.lib.so libcrypto.lib.so libm.lib.so libssl.lib.so posix.lib.so rtc_drv timer vfs_jitterentropy.lib.so vfs_lxip.lib.so lxip.lib.so } # platform-specific modules append_platform_drv_boot_modules lappend boot_modules [nic_drv_binary] build_boot_image $boot_modules append qemu_args " -nographic -net nic,model=e1000 -net user -net dump,file=[run_dir]/dump.pcap" run_genode_until {child "drill" exited with exit value 0.*\n} 120