sel4/sel4

seL4/seL4: seL4 13.0.0

seL4 Version 13.0.0 Release 2024-07-01 Announcing the release of seL4 13.0.0. This release has security-relevant fixes that affect configurations or areas of the kernel that have not been formally verified. It is recommended to upgrade. This is a breaking release. Security-relevant Changes Fixed a k...