seL4/seL4
Some data may be outdated — see provenance labels.
The seL4 microkernel observed · 2026-09-28
Health v2 · maintenance only
85/100
- Activity 96
- Release rhythm 63
- Longevity 100
Flags: no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: 111.0
- age_days: 4477
- days_rel: 90
- days_push: 27
- n_releases_24m: 3
Adoption not part of the score
5768 stars · 806 forks observed · 2026-09-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded
seL4 is a formally verified microkernel operating system kernel written in C, providing high-assurance isolation and capability-based security. It is designed for embedded and safety/security-critical systems and is typically used as a component within a larger build system.
Use cases
- build a formally verified secure operating system kernel
- run isolated components on an embedded microkernel
- develop safety-critical or security-critical firmware
- learn about capability-based microkernel design
- port a microkernel to custom hardware
- achieve strong isolation between system components
When to choose
- you need mathematically proven kernel correctness and strong isolation guarantees
- you are building embedded, automotive, avionics, or defense systems with high-assurance requirements
- you want a small, fast, capability-based microkernel foundation
When to avoid
- you need a general-purpose desktop or server OS with broad driver support out of the box
- your team cannot handle the steep learning curve of capability-based microkernel programming
- you need a quick application platform rather than a kernel to build upon
Facets
library · maturity active
security embedded operating-systems security embedded-systems embedded iot cross-platform c microkernel formal-verification kernel capability-based-security real-time isolation operating-systems
2 sources
- readme: https://github.com/seL4/seL4 · fetched 2026-09-28 · f104651c897f
- homepage: https://sel4.systems · fetched 2026-08-29 · e9cef41df2b9
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| seL4/seL4 | main | 85 |
For agents
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem