genode/repos/base-linux/src
Stefan Kalkowski e7067050be 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-25 11:43:41 +02:00
..
core base-linux: 64-bit ARM support 2021-05-10 11:17:20 +02:00
include Remove Cpu_session::Native_cpu definition from API 2021-01-25 13:58:09 +01:00
ld ld: load dynamic linker at static address on Linux 2019-08-21 13:25:25 +02:00
lib base: extend cache maintainance functionality 2021-06-25 11:43:41 +02:00
test Fix minor inconsistencies in mk files 2021-01-25 12:50:54 +01:00
timer/linux core: use Mutex/Blockade 2020-04-17 12:40:12 +02:00