if {[have_spec linux]} { puts "The [run_name] scenario requires QEMU networking." exit 1 } create_boot_directory import_from_depot [depot_user]/src/[base_src] \ [depot_user]/pkg/[drivers_nic_pkg] \ [depot_user]/src/init \ [depot_user]/src/libc \ [depot_user]/src/posix \ [depot_user]/src/vfs \ [depot_user]/src/vfs_lwip \ [depot_user]/src/zlib build { test/libc_getaddrinfo } install_config { } build_boot_image { test-libc_getaddrinfo } 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 -net nic,model=[qemu_nic_model] -net user" run_genode_until "child .* exited with exit value 0.*\n" 20