mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-03 01:02:56 +00:00
* 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