diff --git a/repos/os/run/ping_nic_router.run b/repos/os/run/ping_nic_router.run new file mode 100644 index 0000000000..062738e86e --- /dev/null +++ b/repos/os/run/ping_nic_router.run @@ -0,0 +1,208 @@ +# +# Build +# + +if {![have_include power_on/qemu]} { + puts "Run script is only supported on Qemu" + return 0 +} + +set build_components { + core + init + drivers/timer + drivers/nic + server/nic_router + app/ping +} + +source ${genode_dir}/repos/base/run/platform_drv.inc +append_platform_drv_build_components + +build $build_components + +create_boot_directory + +# +# Generate config +# + +append config { + + + + + + + + + + + + + + + } + +append_platform_drv_config + +append config { + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +install_config $config + +# +# Boot modules +# + +# generic modules +append boot_modules { + core init + timer + } [nic_drv_binary] { + ping + ld.lib.so + nic_router +} + +# platform-specific modules +lappend_if [have_spec linux] boot_modules fb_sdl + +append_platform_drv_boot_modules + +build_boot_image $boot_modules + +append_if [have_spec x86] qemu_args " -net nic,model=e1000 " +append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " + +append qemu_args " -net user -nographic " + +set done_string "" +for {set i 0} {$i < 3} {incr i 1} { + append done_string ".*child \"ping...\" exited with exit value 0.*\n" +} +append done_string ".*From 10.0.4.1 icmp_seq=.* Destination Unreachable.*\n" + +run_genode_until $done_string 25