mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-03 01:21:43 +00:00
Enable caches. Core is not cached by now. This is because kernel creates core space and doesn't know any memory attributes by now. Cacheable pages are cached write-through without write-allocate. Caching and write-combining is not supported for IOMEM by now.