mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-13 14:13:40 +00:00
6a7247ab44
Instead of allowing the client to set a caching attribute in the io_mem() call of the device interface, which was only used to decide in between of the memory being write-combined or not, remove it from the API. Instead use the information delivered by the devices ROM, whether memory from a PCI BAR is prefetchable or not, to decide whether it is mapped write-combined or not. Ref genodelabs/genode#4578
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.