IOMMU: IOMMU backend support#559
Merged
midnightveil merged 5 commits intoJul 15, 2026
Merged
Conversation
Update microkit to use rust-sel4 with the new x86 IOMMU capdl support. Signed-off-by: Callum <c.berry@student.unsw.edu.au>
This commit adds a helper to extract the io page table index bits from the config. This currently only supports a IOMMU build on x86. Signed-off-by: Callum <c.berry@student.unsw.edu.au>
This commit implements support for the x86 IOMMU Capdl spec. The memory module is extended to allow for the construction of IOMMU address spaces. The Capdl spec refers to the IOSpace object as the IODevice object and the IO Page tables as IOPTs. Within microkit we use IOSpace to refer to the whole IO address space. It also provides an example using the qemu dma capable test device, demonstrating the use of the IOMMU. Note we did not need to provide physical memory addresses for any dma buffers, proving the IOMMU correctly translated our requests. Signed-off-by: Callum <c.berry@student.unsw.edu.au>
While seL4 does not support large pages to be used by the IOMMU, we will raise an error at the SDF parsing stage. Signed-off-by: Callum <c.berry@student.unsw.edu.au>
cazb2
force-pushed
the
callumb_and_cheng/iommu_microkit_backend
branch
from
July 15, 2026 06:09
1b6af52 to
0f708aa
Compare
Collaborator
|
Some reviews: au-ts#8 |
Integrate the new IOMMU support from the rust-sel4 capdl initialiser. Integrate the rust-sel4 PCI structure to avoid repeating definitions to improve code maintainability. The traits that we implement on the wrapper struct, make it easy to use the wrapper without having to worry about accessing the underyling type. Signed-off-by: Callum <c.berry@student.unsw.edu.au>
cazb2
force-pushed
the
callumb_and_cheng/iommu_microkit_backend
branch
from
July 15, 2026 06:25
0f708aa to
ba6cf23
Compare
midnightveil
approved these changes
Jul 15, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Adds logic for the creation of the IOMMU Capdl spec objects.
Adds an example demonstrating the use of the IOMMU.
Enables the IOMMU in the build_sdk.