proc nic_drv_opt {} { if {[have_spec linux]} { return "ld=\"no\"" } return "" } create_boot_directory build { proxy/remote_rom/backend/nic_ip } import_from_depot [depot_user]/src/[base_src] \ [depot_user]/pkg/[drivers_nic_pkg] \ [depot_user]/src/init \ [depot_user]/src/nic_bridge \ [depot_user]/src/dynamic_rom \ [depot_user]/src/rom_logger install_config { } build_boot_image { remote_rom_server remote_rom_client } append qemu_args " -nographic " run_genode_until {.*change \(finished\).*} 30 grep_output { rom_logger] [init -> rom_logger] }