IOMMU: Refactor the memory module#7

Closed

cazb2 wants to merge 20 commits into

callumb_and_cheng/sdf_iommu_supportfrom

callumb_and_cheng/iommu_memory_refactor

Commits on Jul 13, 2026

Commits on Jul 15, 2026

tool: fix child TCB cap inserted to wrong CNode

dreamliner787-9
authored and
midnightveil
committed
tool: refactored shadow CSpace management

dreamliner787-9
authored and
midnightveil
committed
Remove support for a cap_cspace mapping
midnightveil
committed
libmicrokit: introduce 'microkit_pd_resume'

ZGwtao
authored and
midnightveil
committed
IOMMU: Clean up sdf.rs

cazb2
authored and
midnightveil
committed
IOMMU: Refactor check_maps

cazb2
authored and
midnightveil
committed
SDF: Add PCIDevice Type

cazb2
authored and
midnightveil
committed
IOMMU: Add SDF Support

cazb2
authored and
midnightveil
committed
IOMMU: Update manual

cazb2
authored and
midnightveil
committed
IOMMU: Validate IOMMU Kernel Support

cazb2
authored and
midnightveil
committed
IOMMU: Capitalise io in manual

cazb2
authored and
midnightveil
committed
IOMMU: Fix an SDF parsing test

cazb2
authored and
midnightveil
committed
IOMMU: Support domain ids

cazb2
authored and
midnightveil
committed
IOMMU: Minor modification to Map trait
cazb2
committed
IOMMU: Refactor Address Space creation
cazb2
committed
Memory Refactor: Integrate the improved config
cazb2
committed