Unclaimed project
Are you a maintainer of seL4? Claim this project to take control of your public changelog and roadmap.
Announcing the release of seL4 14.0.0. This release has security-relevant fixes that affect configurations of the kernel that have not been formally verified. It is recommended to upgrade.
This is a breaking release.
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.
Release notes: https://docs.sel4.systems/releases/sel4/12.1.0 Release announcement: https://sel4.discourse.group/t/15-june-2021-release/373
See release notes: https://docs.sel4.systems/releases/sel4/12.0.0 See release announcement: https://sel4.discourse.group/t/09-november-2020/238
See release notes: https://docs.sel4.systems/releases/sel4/11.0.0 See release announcement: https://sel4.discourse.group/t/19-november-2019/126