SeL4 Versions Save

The seL4 microkernel

12.1.0

2 years ago

Release notes: https://docs.sel4.systems/releases/sel4/12.1.0 Release announcement: https://sel4.discourse.group/t/15-june-2021-release/373

12.0.0

3 years ago

See release notes: https://docs.sel4.systems/releases/sel4/12.0.0 See release announcement: https://sel4.discourse.group/t/09-november-2020/238

11.0.0

4 years ago

See release notes: https://docs.sel4.systems/releases/sel4/11.0.0 See release announcement: https://sel4.discourse.group/t/19-november-2019/126

10.1.1-mcs

5 years ago

Latest version of the MCS kernel, rebased onto seL4 10.1.1

10.1.1

5 years ago

See release notes: https://docs.sel4.systems/sel4_release/seL4_10.1.1

10.1.0

5 years ago

See release notes: https://docs.sel4.systems/sel4_release/seL4_10.1.0

10.0.0

5 years ago

See release notes: https://docs.sel4.systems/sel4_release/seL4_10.0.0

9.0.1

6 years ago

See release notes: https://docs.sel4.systems/sel4_release/seL4_9.0.1

9.0.0-mcs

6 years ago

See release notes: https://docs.sel4.systems/sel4_release/seL4_9.0.0-mcs

9.0.0

6 years ago

See release notes: https://docs.sel4.systems/sel4_release/seL4_9.0.0