create_boot_directory import_from_depot [depot_user]/pkg/[drivers_nic_pkg] \ append config { } append qemu_args " -nographic " append_qemu_nic_args "host=10.0.2.1,dhcpstart=10.0.2.55,hostfwd=tcp::10080-:80,hostfwd=tcp::18080-:8080,hostfwd=udp::10007-:7,hostfwd=udp::17070-:7070" build { core init hoitaja timer lib/ld lib/vfs lib/libm lib/libc lib/stdcxx server/nic_router server/nic_uplink app/lwip_raw } install_config $config build_boot_image [build_artifacts] #build_boot_image { core hoitaja timer ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so nic_router nic_uplink lwip_raw } run_genode_until forever