genode/repos/os/run/nic_bridge_stress.run