set build_components { core init drivers/nic drivers/timer lib/vfs/lxip server/vfs server/dynamic_rom } 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 nic_drv vfs dynamic_rom ld.lib.so vfs_lxip.lib.so lxip.lib.so } append_platform_drv_boot_modules build_boot_image $boot_modules puts "#################################################################" puts "## run simultaneous ping to 10.0.2.55 and ##" puts "#################################################################" sleep 1 append qemu_args " -nographic -net nic,model=e1000 -net tap,ifname=tap0,downscript=no,script=no " run_genode_until forever # vi: set ft=tcl :