Norman Feske b7b8d22bc3 dde_linux/rpi: Enable USB power on startup ... Needed when booting Genode directly from SD card w/o u-boot.		2013-11-25 09:46:09 +01:00
..
arm	usb: Rewrote back-end allocators	2013-03-20 10:06:16 +01:00
platform_arndale	usb: ASIX AX88179 Gigabit-Ethernet Adapter support	2013-05-18 11:23:02 +02:00
platform_panda	net: net_stat instrumented version of usb_drv	2013-05-10 11:16:10 +02:00
platform_rpi	dde_linux/rpi: Enable USB power on startup	2013-11-25 09:46:09 +01:00
x86_32	usb: Make host controller types configurable	2013-05-18 11:23:02 +02:00
x86_64	usb: Make host controller types configurable	2013-05-18 11:23:02 +02:00
usb.inc	dde_linux: Follow symlinks while grepping includes	2013-11-25 09:46:09 +01:00