genode/repos/base-hw/src/bootstrap/spec/rpi
Stefan Kalkowski ff378a8c5b hw: cache maintainance on mapping removal too
Older ARM processors like ARMv6, or Cortex A8 need to write back changes
of the page-tables to physical ram because the MMU does not use the cache.
This naturally needs to be done not only when adding a mapping,
but on removal too.

Fix #3715
2020-04-17 12:40:13 +02:00
..
board.h hw: cache maintainance on mapping removal too 2020-04-17 12:40:13 +02:00
platform.cc hw: remove SMP variable from board.h 2019-08-13 12:02:26 +02:00