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
..
hw	kernel: differentiate board-specific components	2019-05-27 14:46:52 +02:00
spec	hw: cache maintainance on mapping removal too	2020-04-17 12:40:13 +02:00
env.cc	base: remove dependency from deprecated APIs	2019-02-19 11:08:17 +01:00
init.cc	hw: switch page-tables only when necessary	2017-10-19 13:31:18 +02:00
lock.cc	base: add mutex as derivate of lock	2020-02-20 12:11:22 +01:00
log.cc	hw: enable Genode::raw for bootstrap	2019-11-19 14:42:23 +01:00
platform.cc	hw: do not map boot modules in bootstrap	2020-02-04 15:51:08 +01:00
platform.h	hw: instantiate pic object per cpu	2019-11-19 14:42:22 +01:00
thread.cc	hw: separate bootstrap and core strictly	2017-05-31 13:15:52 +02:00