genode/base-hw/lib/mk/pager.mk
Martin Stein 7f2f2d9120 base-hw: ease core build
Merge core only libs into the target make-files.

Use base-hw specific Board drivers that inherit
from generic Board_base.

Use Page_flags::access_t instead of additional
page_flags_t.

Fix #570
2013-01-08 11:36:52 +01:00

13 lines
177 B
Makefile

#
# \brief Genode pager threads
# \author Martin Stein
# \date 2012-04-16
#
# add C++ sources
SRC_CC += pager.cc
# declare source paths
vpath pager.cc $(REP_DIR)/src/base