genode/base-hw/lib/mk/vea9x4_platform_support.mk

#
# \brief   Platform implementations specific for base-hw and VEA9X4
# \author  Stefan Kalkowski
# \date    2012-10-04
#

# add include paths
INC_DIR += $(REP_DIR)/src/core/include \
           $(BASE_DIR)/src/core/include

SRC_CC = platform_support.cc platform_services.cc

vpath platform_support.cc  $(REP_DIR)/src/core/vea9x4
vpath platform_services.cc $(BASE_DIR)/src/core
base-hw: implement vm_session for TrustZone * Introduces Schedule_context * Use fast-interrupts or normal interrupts * Add mode-transition between secure/non-secure world * Limit system resources for Genode apps due to non-secure world This commit implements the newly introduced Vm session interface to be used on top of TrustZone capable Armv7 CPUs. Therefore a new Schedule_context is introduced in the kernel. Threads and Vms are both Schedule_contexts used by the scheduler. In contrast to a thread a vm uses a different assembler mode switch to the non-secure, virtual world, as well as another exception is used, when the non-secure world is left. For both worlds to co-exist the interrupt-controller needs to be configured, so that the secure (Genode) world uses fast-interrupts only, and the non-secure world only legacy interrupts. The only TrustZone capable platform the base-hw kernel works on top of is the CoreTile Express 9x4 for the Versatile Express motherboard. For a virtual machine working properly on top some platform resources must be reserved. Therefore there exist two flavours of this platform now, one with the 'trustzone' spec-variable enabled, and one without. If 'trustzone' is specified most platform resources (DDR-RAM, and most IRQs) are reserved for the Vm and not available to the secure Genode world. 2012-10-02 14:27:32 +02:00			`#`
			`# \brief Platform implementations specific for base-hw and VEA9X4`
			`# \author Stefan Kalkowski`
			`# \date 2012-10-04`
			`#`

			`# add include paths`
			`INC_DIR += $(REP_DIR)/src/core/include \`
			`$(BASE_DIR)/src/core/include`

			`SRC_CC = platform_support.cc platform_services.cc`

			`vpath platform_support.cc $(REP_DIR)/src/core/vea9x4`
			`vpath platform_services.cc $(BASE_DIR)/src/core`