Add iommu support to microkit#467

Draft

Cheng-Li1 wants to merge 11 commits intoseL4:mainfrom

au-ts:cheng/iommu-support

Commits on Apr 9, 2026

Incomplete support for VTD in microkit tool.
Cheng-Li1
committed
Finish the first iteration of the implementation.
Cheng-Li1
committed
Tool can output correct specs in tried (limited) tests.
Cheng-Li1
committed
iommu works for blk exampl on x86 qemu.
Cheng-Li1
committed
Check whether IOMMU is enabled in Kernel Config.
Cheng-Li1
committed
Add config and memory region sanity checks.
Cheng-Li1
committed
Use the three-level VTD PD structure instead of the four-level structure for generating spec in microkit tool.
Cheng-Li1
committed
Change the code back to default for four level VTD page table.
Cheng-Li1
committed
Add check to make sure the io addresses are in valid range. Refine the check unused mr and mr page size optimization logic for iomaps support.
Cheng-Li1
committed
Add perms and setvar for iomap.
Cheng-Li1
committed

Commits on Apr 10, 2026

Remove unused code.
Cheng-Li1
committed