seL4 12.1.0

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

seL4 12.0.0

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

seL4 11.0.0

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

MCS pre-release

Latest version of the MCS kernel, rebased onto seL4 10.1.1

seL4 10.1.1

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

seL4 10.1.0

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

seL4 10.0.0

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

seL4 9.0.1

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

MCS pre-release

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

seL4 9.0.0

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