Skip to content

tool: remove roxmltree::Document from XmlSystemDescription - #587

Merged
midnightveil merged 1 commit into
seL4:mainfrom
sfulham:main
Aug 3, 2026
Merged

tool: remove roxmltree::Document from XmlSystemDescription#587
midnightveil merged 1 commit into
seL4:mainfrom
sfulham:main

Conversation

@sfulham

@sfulham sfulham commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

This is the final change needed to allow for Microkit Tool to be used as a library without having any requirement of using XML for SDF parsing. XmlSystemDescription was also renamed to align with the fact it is not dependent on any XML anymore.

Also renames `XmlSystemDescription` to `SystemDescriptionFile`

Signed-off-by: Charlotte Fulham <charlotte.fulham@anu.edu.au>
@midnightveil
midnightveil merged commit 2518115 into seL4:main Aug 3, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants