mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-09 06:22:46 +00:00
7584bdb22e
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 |
||
---|---|---|
.. | ||
l4android.run | ||
l4linux_dynamic.run | ||
l4linux.run | ||
linux_panda.run | ||
multi_linux.run | ||
smp_linux_panda.run | ||
two_linux_panda.run | ||
two_linux.run |