genode/repos/base-sel4/lib/mk/base-sel4.inc

include $(BASE_DIR)/lib/mk/base.inc

SRC_CC += capability_space.cc
SRC_CC += thread_start.cc thread_init.cc
SRC_CC += cache.cc
SRC_CC += signal_transmitter.cc signal.cc

LIBS += syscall-sel4 base-sel4-common cxx
Clean up base-library structure This patch moves the base library from src/base to src/lib/base, flattens the library-internal directory structure, and moves the common parts of the library-description files to base/lib/mk/base.inc and base/lib/mk/base-common.inc. Furthermore, the patch fixes a few cosmetic issues (whitespace and comments only) that I encountered while browsing the result. Fixes #1952 2016-04-29 13:23:19 +02:00			`include $(BASE_DIR)/lib/mk/base.inc`
sel4: add base.mk lib to build and link init 2015-05-11 17:54:11 +02:00
Clean up base-library structure This patch moves the base library from src/base to src/lib/base, flattens the library-internal directory structure, and moves the common parts of the library-description files to base/lib/mk/base.inc and base/lib/mk/base-common.inc. Furthermore, the patch fixes a few cosmetic issues (whitespace and comments only) that I encountered while browsing the result. Fixes #1952 2016-04-29 13:23:19 +02:00			`SRC_CC += capability_space.cc`
			`SRC_CC += thread_start.cc thread_init.cc`
			`SRC_CC += cache.cc`
base: restructure signal-submit initialization This patch allows core's 'Signal_transmitter' implementation to sidestep the 'Env::Pd' interface and thereby adhere to a stricter layering within core. The 'Signal_transmitter' now uses - on kernels that depend on it - a dedicated (and fairly freestanding) RPC proxy mechanism for signal deliver, instead of channeling signals through the 'Pd_session::submit' RPC function. 2017-05-10 20:11:38 +02:00			`SRC_CC += signal_transmitter.cc signal.cc`
sel4: add base.mk lib to build and link init 2015-05-11 17:54:11 +02:00
sel4: add Wandboard Quad (iMX6) support Issue #2451 2017-07-04 14:17:38 +02:00			`LIBS += syscall-sel4 base-sel4-common cxx`