#
# \brief  Portions of base library shared by core and non-core processes
# \author Norman Feske
# \date   2013-02-14
#

vpath vm_session.cc $(REP_DIR)/src/lib/base/x86

include $(REP_DIR)/lib/mk/base-sel4-common.inc