mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-02 17:21:13 +00:00
3befb64afe
* 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