genode/repos/base/mk/spec/rpi.mk

SPECS += arm_v6 usb framebuffer gpio

REP_INC_DIR += include/spec/rpi

include $(BASE_DIR)/mk/spec/arm_v6.mk
gpio: RaspberryPI GPIO driver Fixes #1654 2015-08-24 20:29:15 +00:00			`SPECS += arm_v6 usb framebuffer gpio`
base-hw: Support for Raspberry Pi 2013-04-08 17:05:44 +00:00
Introduce 'spec' subdirectories to outline aspects Instead of holding SPEC-variable dependent files and directories inline within the repository structure, move them into 'spec' subdirectories at the corresponding levels, e.g.: repos/base/include/spec repos/base/mk/spec repos/base/lib/mk/spec repos/base/src/core/spec ... Moreover, this commit removes the 'platform' directories. That term was used in an overloaded sense. All SPEC-relative 'platform' directories are now named 'spec'. Other files, like for instance those related to the kernel/architecture specific startup library, where moved from 'platform' directories to explicit, more meaningful places like e.g.: 'src/lib/startup'. Fix #1673 2015-09-03 12:55:05 +00:00			`REP_INC_DIR += include/spec/rpi`
base-hw: Support for Raspberry Pi 2013-04-08 17:05:44 +00:00
base/mk: include sub specs from BASE_DIR Originally, the spec files for less specific SPEC values were include via the 'select_from_repositories' function. This implies that BASE_DIR must always be present in the list of 'REPOSITORIES'. Otherwise the spec files won't be found. By explicitly including sub specs from '$(BASE_DIR)/mk', we lift this restriction. 2017-04-07 08:48:02 +00:00			`include $(BASE_DIR)/mk/spec/arm_v6.mk`