mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-06 06:02:13 +00:00
Don't use the xhci USB host controller for HID and NIC in the l4linux run script. It doesn't work on the Pandaboard, and isn't needed for the Arndale board. Moreover, provide a MAC address, and add a providing rule in the KDB UART driver to supress ugly warnings. Fix #763