genode/base/mk/spec-platform_pbxa9.mk

#
# Enable peripherals of the platform
#
SPECS += pl050 pl11x ps2 pl180 lan9118 pl011

#
# Pull in CPU specifics
#
SPECS += cortex_a9

#
# Add device parameters to include search path
#
REP_INC_DIR += include/platform/pbxa9

include $(call select_from_repositories,mk/spec-cortex_a9.mk)
include $(call select_from_repositories,mk/spec-pl011.mk)
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00			`#`
			`# Enable peripherals of the platform`
			`#`
			`SPECS += pl050 pl11x ps2 pl180 lan9118 pl011`

			`#`
			`# Pull in CPU specifics`
			`#`
Enhance specs that concern 'base-hw'. Add specs for the PandaboardBoard A2 and according devices. Refine axisting specs for Cortex A9 systems. 2012-05-28 11:47:25 +02:00			`SPECS += cortex_a9`
Imported Genode release 11.11 2011-12-22 16:19:25 +01:00
			`#`
			`# Add device parameters to include search path`
			`#`
			`REP_INC_DIR += include/platform/pbxa9`

Enhance specs that concern 'base-hw'. Add specs for the PandaboardBoard A2 and according devices. Refine axisting specs for Cortex A9 systems. 2012-05-28 11:47:25 +02:00			`include $(call select_from_repositories,mk/spec-cortex_a9.mk)`
			`include $(call select_from_repositories,mk/spec-pl011.mk)`