Johannes Schlatow c738f4b029 dde_linux: use CACHED dma buffers
On x86, DMA buffers are actually always mapped as cached. We should
therefore actually ask for a cached buffer in order to avoid confusion.

genodelabs/genode#5000
2023-11-28 14:24:23 +01:00
..
2023-10-04 13:22:04 +02:00
2023-09-29 12:15:06 +02:00
2023-11-28 14:24:23 +01:00