Closed Ivan-Velickovic closed 5 months ago
There are a couple of breaking changes to seL4 which affect the Microkit tool.
There are a couple of breaking changes to seL4 which affect the Microkit tool.