genode/repos/os/lib/mk/spec/imx53/tz_vmm.inc

LIBS     += base config
SRC_CC   += serial_driver.cc block_driver.cc vm_base.cc spec/imx53/main.cc
INC_DIR  += $(REP_DIR)/src/server/tz_vmm/spec/imx53
INC_DIR  += $(REP_DIR)/src/server/tz_vmm/include

vpath % $(REP_DIR)/src/server/tz_vmm
tz_vmm: use library instead of REQUIRES Ref #2223 2017-01-05 14:49:07 +00:00			`LIBS += base config`
tz_vmm: update to new API and clean up * get rid of printf * use exceptions instead of error codes * use Id_space instead of the individual block device registry * use Cstring instead of char const* * move method definitions > 1 line to .cc files * rename Block Block_driver and Serial Serial_driver to avoid name clashes with the Genode namespace and thereby simplify the code * use lambdas for Block device lookup and apply * switch to the Component framework * don't use env(), config(), ... and hand over env to each connection * use Attached_mmio and Attached_rom/ram_dataspace instead of manual solutions Fixes #2223 2017-01-05 19:42:16 +00:00			`SRC_CC += serial_driver.cc block_driver.cc vm_base.cc spec/imx53/main.cc`
tz_vmm: use library instead of REQUIRES Ref #2223 2017-01-05 14:49:07 +00:00			`INC_DIR += $(REP_DIR)/src/server/tz_vmm/spec/imx53`
			`INC_DIR += $(REP_DIR)/src/server/tz_vmm/include`

			`vpath % $(REP_DIR)/src/server/tz_vmm`