mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +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