xenopsd/xc: sync domain.ml with Xen 4.21's Xenctrl ABI additions - #17
Open
d3athjest3r wants to merge 2 commits into
Open
xenopsd/xc: sync domain.ml with Xen 4.21's Xenctrl ABI additions#17d3athjest3r wants to merge 2 commits into
d3athjest3r wants to merge 2 commits into
Conversation
Xen gained this domain-create flag (currently Arm-only, disables traps
on accesses to unmapped addresses) in:
980aff4e8fcd xen/arm: Add way to disable traps on accesses to
unmapped addresses (Edgar E. Iglesias, 2025-06-16)
with the OCaml bindings themselves updated the same day in:
ab02a120c0a5 tools/ocaml: Update bindings for
CDF_TRAP_UNMAPPED_ACCESSES
Both are part of the public ABI since before the 4.21.0-rc1 tag. This
mock's domain_create_flag mirror had not been synced since.
Signed-off-by: Julian Vetter <julian.vetter@vates.tech>
Xen's OCaml bindings gained this field in:
5699554de9a9 tools/ocaml: Add altp2m_count parameter
(Petr Beneš, 2025-08-25)
which exposes the pre-existing altp2m.nr count field (xen_domctl_createdomain)
to OCaml callers, alongside the existing altp2m_opts. Part of the public
ABI since before the 4.21.0-rc1 tag. This mock's domctl_create_config
mirror had not been synced since.
Signed-off-by: Julian Vetter <julian.vetter@vates.tech>
last-genius
approved these changes
Aug 18, 2026
minglumlu
approved these changes
Aug 21, 2026
minglumlu
left a comment
minglumlu
left a comment
Member
There was a problem hiding this comment.
Hi @d3athjest3r
Could you please leave the merge button to me so that I can prepare the follow-up steps for build in XenServer? It will be done in a quick way.
I understand this one needs to be merged before xapi-project/xen-api#7197 to unblock the CI build; and the latter needs to be merged after that immediately as well.
Finally, the XenServer build needs to be updated soon also to get the build failure window as minimum as possible.
Will Vates need the similar preparation?
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
3 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 commit works in tandem with the commits made to xenopsd/xc (see xapi-project/xen-api#7197).