L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches

A DMA space represents a device memory address space managed by an IOMMU.

+ Collaboration diagram for DMA space:

A DMA space represents a device memory address space managed by an IOMMU.

That is, it manages the translation of virtual addresses used by devices to physical addresses. It is accessed via the L4::Task interface, but with the following caveats:

A DMA space must be bound to an L4::Iommu to enable the address translation for specific devices.

The kernel factory allows to create DMA spaces only if the kernel has been configured with IOMMU support and if an IOMMU was detected.