genode-ehmry/repos/dde_linux/include/usb
Reinier Millo Sánchez b13b0113c8 usb: kernel-specific USB IRQ number on Raspberry Pi
The USB interrupt number on Raspberry Pi differs betwenn Fiasco.OC and
base-hw, the former uses 9 while the latter uses 17.
2015-07-06 12:22:26 +02:00
..
foc_rpi usb: kernel-specific USB IRQ number on Raspberry Pi 2015-07-06 12:22:26 +02:00
hw_rpi usb: kernel-specific USB IRQ number on Raspberry Pi 2015-07-06 12:22:26 +02:00