genode/repos/base-sel4/lib/mk/spec/x86/base-sel4-common.mk
Christian Helmuth 219809ffed base: refactor VM/vCPU API
Issue #3554
2021-02-23 12:07:18 +01:00

8 lines
169 B
Makefile

#
# \brief Portions of base library shared by core and non-core processes
# \author Norman Feske
# \date 2013-02-14
#
include $(REP_DIR)/lib/mk/base-sel4-common.inc