genode/base-hw/lib/mk/pager.mk

#
# \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
Run Genode directly on hardware with 'base-hw'. 2012-05-30 18:13:09 +00:00			`#`
			`# \brief Genode pager threads`
			`# \author Martin Stein`
			`# \date 2012-04-16`
			`#`

			`# add C++ sources`
			`SRC_CC += pager.cc`

			`# declare source paths`
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 2012-12-10 12:55:19 +00:00			`vpath pager.cc $(REP_DIR)/src/base`