genode/repos/base-hw/lib/mk
Stefan Kalkowski 08c56e61e1 hw: avoid overhead for cache maintainance
When running on x86, and riscv never enter the kernel for cache maintainance,
but use the dummy implementation of the generic base library instead.

On ARMv8 it is not necessary to enter privileged mode for cache cleaning, and
unification of instruction/data cache, but only for invalidating cache lines
at all levels, which is necessary for the use cases, where this function it
needed (coherency of DMA memory).

Fix genodelabs/genode#4339
2023-01-24 12:07:29 +01:00
..
spec hw: avoid overhead for cache maintainance 2023-01-24 12:07:29 +01:00
base-hw-common.mk hw: don't take the log backend's mutex in kernel 2023-01-24 12:07:29 +01:00
base-hw.inc hw: avoid overhead for cache maintainance 2023-01-24 12:07:29 +01:00
bootstrap-hw.inc base: avoid implicit conversions 2021-12-17 15:04:44 +01:00
core-hw.inc base-hw: Core PD as Main member 2021-10-13 14:46:53 +02:00
timeout-hw.mk base-hw: problems with timeout lib in src recipe 2022-10-12 11:59:08 +02:00