Closed lsf37 closed 3 months ago
To be merged when CI release process is completed and releases are fully tagged.
This adds release notes for seL4, Microkit, CAmkES, and capDL and updates the nav bar versions for all of these.
To be merged when CI release process is completed and releases are fully tagged.
This adds release notes for seL4, Microkit, CAmkES, and capDL and updates the nav bar versions for all of these.