genode/repos/base-hw
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
..
doc Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
include hw: re-organize file structure 2014-08-15 10:19:48 +02:00
lib/mk hw: set TTBR0 according to CPU facilities 2014-10-10 13:02:30 +02:00
mk hw: core as library 2014-07-24 10:18:06 +02:00
run hw: let assembler constants be upper-case (Ref #1180) 2014-06-26 10:57:26 +02:00
src hw: correctly flush cache on ARM (fix #1257) 2014-10-10 13:02:30 +02:00