IOMMU: Add backend support for IOMMU#8

Closed

cazb2 wants to merge 8 commits into

callumb_and_cheng/iommu_memory_refactorfrom

callumb_and_cheng/iommu_microkit_backend

Commits on Jul 15, 2026

IOMMU: Minor modification to Map trait

cazb2
authored and
midnightveil
committed
IOMMU: Refactor Address Space creation

cazb2
authored and
midnightveil
committed
Memory Refactor: Integrate the improved config

cazb2
authored and
midnightveil
committed
IOMMU: Update Cargo rust-sel4
cazb2
committed
IOMMU: Add IOMMU helper to config
cazb2
committed
IOMMU: Add backend support for IOMMU
cazb2
committed
IOMMU: Add large page guard
cazb2
committed
IOMMU: Integrate rust-sel4 capdl initialiser
cazb2
committed