genode/repos/os/lib/mk/spec/imx53/tz_vmm.inc
2017-05-31 13:16:22 +02:00

7 lines
231 B
PHP

LIBS += base
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