mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-05 13:34:11 +00:00
435bdd5755
At the current stage, the USB HID and storage drivers are prinicpally working but not stable. If interrupts are not processed fast enough, devices will get sporadically disconnected. The USB host-controller driver is not part of the normal Linux kernel. For this reason, we need to download it separately. There exists a 'prepare_rpi' rule in the 'dde_linux/Makefile' to automate this process.
16 lines
402 B
Makefile
16 lines
402 B
Makefile
#
|
|
# \brief Build-system configurations for Raspberry Pi
|
|
# \author Norman Feske
|
|
# \date 2013-04-05
|
|
#
|
|
|
|
# denote wich specs are also fullfilled by this spec
|
|
SPECS += arm_v6 pl011 usb
|
|
|
|
# add repository relative include paths
|
|
REP_INC_DIR += include/platform/rpi
|
|
|
|
# include implied specs
|
|
include $(call select_from_repositories,mk/spec-arm_v6.mk)
|
|
include $(call select_from_repositories,mk/spec-pl011.mk)
|