genode/base/mk/spec-platform_pbxa9.mk

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

#
# 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 15:19:25 +00:00			`#`
			`# Enable peripherals of the platform`
			`#`
Unify framebuffer driver binary names (fix #720) Introduce 'framebuffer' SPEC variable to distinguish hardware framebuffer drivers furthermore from the SDL framebuffer driver used by Genode/Linux. 2013-04-29 08:51:27 +00:00			`SPECS += pl050 pl11x ps2 pl180 lan9118 pl011 framebuffer`
Imported Genode release 11.11 2011-12-22 15:19:25 +00:00
			`#`
			`# 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 09:47:25 +00:00			`SPECS += cortex_a9`
Imported Genode release 11.11 2011-12-22 15:19:25 +00: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 09:47:25 +00:00			`include $(call select_from_repositories,mk/spec-cortex_a9.mk)`
			`include $(call select_from_repositories,mk/spec-pl011.mk)`