vbox_usb_run bin/nic_drv missing

Alexander Boettcher alexander.boettcher at ...1...
Thu Dec 17 14:30:58 CET 2015

On 17.12.2015 14:10, a3an wrote:
> Thanks Alex.
> Another question: how do I build tool_chain_rump ?

In the genode repository in the tool/ directory you find a script called

If you just invoke it without parameters in a shell it tells you what to
do, e.g. how to build and install.



More information about the users mailing list