SEOS-2371: Adapt i.MX6 NIC driver, as CAmkES honors DMA caching flags now

[FelixSchladt]

Adapt i.MX6 NIC driver, as CAmkES honors DMA caching flags now

With seL4/camkes-tool@ac567a1 CAmkES honors DMA caching flags now. We need to adapt i.MX6 NIC driver, as it wants to map some DMA memory cached, but we only have uncached DMA memory in the pool. See also seL4/util_libs#68

The simple fix might be, that we simply request uncached DMA memory everywhere. This makes sense, as the ethernet MAC peripheral will usually not pass though the cache for the DMA accesses.
We should just get some understanding, where the request for cached DMA memory comes from. Might be a copy&paste thing from the x86 platform where things are a bit different then on ARM.

Created by

axel heider
Created: Thursday, February 18, 2021 02:45 AM UTC+01:00
Updated: Friday, March 12, 2021 10:10 AM UTC+01:00

Comments

Subtasks