genode/repos/base-hw/src
Stefan Kalkowski 3befb64afe hw: correctly flush cache on ARM (fix #1257)
* When flushing the data and unified cache on ARM, clean and invalidate
  instead of just cleaning the corresponding cache lines
* After zero-ing a freshly constructed dataspace in core, invalidate
  corresponding cache lines from the instruction cache
2014-10-10 13:02:30 +02:00
..
base hw: re-organize file structure 2014-08-15 10:19:48 +02:00
core hw: correctly flush cache on ARM (fix #1257) 2014-10-10 13:02:30 +02:00