mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-25 13:28:28 +00:00
6912dd62fa
Reserved memory regions must be excluded from the corresponding DMA allocators irrespective of whether the device is in use. Otherwise, an early allocation of DMA buffers may use the reserved memory regions of a late acquired device. Fixes #5232
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.