if {[have_spec foc] || [have_spec linux] || [have_spec rpi3] || [expr [have_spec imx53] && [have_spec trustzone]]} { puts "Run script is not supported on this platform." exit 0 } set on_hardware [expr ![have_include power_on/qemu]] create_boot_directory import_from_depot [depot_user]/src/[base_src] \ [depot_user]/pkg/[drivers_nic_pkg] \ [depot_user]/src/init \ [depot_user]/src/nic_bridge build { app/ping } proc dst_ip { } { if {![have_include power_on/qemu]} { return "10.0.0.2" } else { return "10.0.2.2" } } append config { } append_if $on_hardware config { } append config { } install_config $config build_boot_image { ping } proc qemu_nic_model {} { if [have_spec x86] { return e1000 } if [have_spec lan9118] { return lan9118 } if [have_spec zynq] { return cadence_gem } return nic_model_missing } append qemu_args " -nographic " append qemu_args " -netdev user,id=net0 " append qemu_args " -net nic,model=[qemu_nic_model],netdev=net0 " set done_string ".*\"ping_1\" exited with exit value 0.*\n" append_if $on_hardware done_string ".*ping_2\] From [dst_ip] Destination Unreachable.*\n" run_genode_until $done_string 30