# # Build # build { core init drivers/timer server/dynamic_rom proxy/remote_rom/backend/nic_ip/server drivers/nic } create_boot_directory # # Generate config # install_config { } # # Boot image # build_boot_image { core ld.lib.so init timer remote_rom_server dynamic_rom nic_drv } append qemu_args " -nographic " append qemu_args " -net tap,ifname=tap2 " run_genode_until forever