mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-27 22:40:15 +00:00
b13b0113c8
The USB interrupt number on Raspberry Pi differs betwenn Fiasco.OC and base-hw, the former uses 9 while the latter uses 17.
3 lines
80 B
Makefile
3 lines
80 B
Makefile
include $(REP_DIR)/lib/mk/usb_rpi.inc
|
|
|
|
INC_DIR += $(REP_DIR)/include/usb/foc_rpi
|