mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-26 22:29:19 +00:00
8b43554a27
Executing a clflush operation on MMIO memory freezes embedded platforms such as the Celeron N3450 used on the ZimaBlade. Looking into the current linux code confirms that clflush is only used for ppgtt entries and not on MMIO memory. Fixes #5176
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.