capDL and x86_64 support in Microkit#337
Merged
Ivan-Velickovic merged 9 commits intoseL4:mainfrom Oct 30, 2025
Merged
Conversation
Ivan-Velickovic
force-pushed
the
capdl_dev
branch
from
f09574c to
c4d8d19
Compare
dreamliner787-9
force-pushed
the
capdl_dev
branch
from
2d5e97c to
9c5d826
Compare
3 tasks
Signed-off-by: Bill Nguyen <bill.nguyen@student.unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au> Signed-off-by: Bill Nguyen <bill.nguyen@student.unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au> Signed-off-by: Bill Nguyen <bill.nguyen@student.unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Bill Nguyen <bill.nguyen@student.unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Sometimes this step takes a long time if doing a full SDK build so the print is useful to show that the build is not hanging or something. Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Should be done on the name, not the object... Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
dreamliner787-9
force-pushed
the
capdl_dev
branch
from
87cf8f0 to
ac9d9a0
Compare
Ivan-Velickovic
approved these changes
Oct 30, 2025
Collaborator
Ivan-Velickovic
left a comment
Ivan-Velickovic
left a comment
There was a problem hiding this comment.
These changes have been reviewed/tested internally. There are various things to still fix/improve before we make a release. We are currently aiming for a release including these changes by the end of November. An issue with the list of things we are working on fixing/improving before the next release will be posted soon.
With the integration of capDL, I believe the Microkit RFC can move from 'active' to 'implemented'.
Other than the minor breaking change listed in the PR description, users should not notice any functional differences. The transition to using capDL for system initialisation is purely an internal change.
Ivan-Velickovic
added a commit
to Ivan-Velickovic/rfcs
that referenced
this pull request
Oct 30, 2025
At the time of RFC-5 being accepted the TSC had requested that Microkit make use of capDL for the system initialisation. As of [1] this is now done. [1]: seL4/microkit#337 Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
This was referenced Oct 30, 2025
This was referenced Nov 4, 2025
This was referenced Nov 20, 2025
Merged
Ivan-Velickovic
added a commit
to seL4/rfcs
that referenced
this pull request
Nov 25, 2025
At the time of RFC-5 being accepted the TSC had requested that Microkit make use of capDL for the system initialisation. As of [1] this is now done. [1]: seL4/microkit#337 Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
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.
This PR re-implemented the Microkit to be capDL based and added support for the x86_64 architecture (x86 VMs are supported but experimental).
seL4 remains pinned on the
microkitbranch to reduce the number of changes in this PR. We can switch to themasterbranch in the near future as we no longer rely on the extra device untypeds logic.Breaking changes:
Otherwise, the capDL changes are unintrusive to end-users of Microkit.
There are a couple of rough edges to fix, but making a PR so we can test the CI.