#
# \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