genode/repos/dde_linux/src/lib/rpi_usb
Stefan Kalkowski bf5a631a14 dde_linux: name usb_drv unambigously
* Make package buildable for ARM too
* Move usb library to src targets for explicitly named targets
* adapt remaining run-scripts to use the correctly named usb drivers

Ref #2190
2019-05-16 13:11:00 +02:00
..
dwc_irq.cc dde_linux: name usb_drv unambigously 2019-05-16 13:11:00 +02:00