(Moved from https://sel4.atlassian.net/browse/SELFOUR-2542)
Camkes currently maps all DMA memory uncached and doesn't provide mechanisms for cache management. It should be possible to map DMA memory cached for architectures that support cache coherent DMA (x86) and also to support drivers that want to have cached software access and use cache management operations for faster data transfers.
(Moved from https://sel4.atlassian.net/browse/SELFOUR-2542)
Camkes currently maps all DMA memory uncached and doesn't provide mechanisms for cache management. It should be possible to map DMA memory cached for architectures that support cache coherent DMA (x86) and also to support drivers that want to have cached software access and use cache management operations for faster data transfers.