genode/repos/base-sel4/lib/mk/spec/arm/base-sel4.mk

LIBS += timeout-arm

vpath cache.cc $(REP_DIR)/src/lib/base/arm

include $(REP_DIR)/lib/mk/base-sel4.inc
sel4: add Wandboard Quad (iMX6) support Issue #2451 2017-07-04 12:17:38 +00:00			`LIBS += timeout-arm`

base: extend cache maintainance functionality Introduce two new cache maintainance functions: * cache_clean_invalidate_data * cache_invalidate_data used to flush or invalidate data-cache lines. Both functions are typically empty, accept for the ARM architecture. The commit provides implementations for the base-hw kernel, and Fiasco.OC. Fixes #4207 2021-06-24 12:27:37 +00:00			`vpath cache.cc $(REP_DIR)/src/lib/base/arm`

sel4: add Wandboard Quad (iMX6) support Issue #2451 2017-07-04 12:17:38 +00:00			`include $(REP_DIR)/lib/mk/base-sel4.inc`