Public Software
Public Software / system ring / kernel
System ring
kernel
Kernel hardening (Redox-derived microkernel and Asterinas-style Linux-ABI), scheduler, capability security, driver ABI, libc.
LayersL3, L4
Wave1
Tierincubating
Readinessnone yet
Maintainersmaint-kernel
LicenceApache-2.0 OR MIT
Planned components
What this repository will contain, from the catalog. No crate has shipped yet; the first release train is 2027.1.
- pub-kernel
- pub-libc (relibc)
- syscall ABI
- capability model
The mark
A core with four things orbiting it: the kernel and what it schedules. Every repository's mark is built from the same parts, in the colour of its ring.
Also in the system ring
Toolchain, silicon, kernel, base, infrastructure, media, shells.