The SeL4 Microkernel: An Introduction [pdf]

Apple Joins the SeL4 Foundation

SeL4 Device Driver Framework 0.4.0

Project Sparrow / KataOS Initial Open Source Release

seL4 benchmarks

SeL4 Whitepaper

seL4 12.0.0

seL4 Whitepaper

Pre-release of mixed criticality seL4 extensions

SEL4: Mathematically Verified Software Kernels (2014)

SeL4 2.0 release notes

seL4 publishes a roadmap

seL4: We’re going open source