We’re pleased to announce the release of
-
seL4 13.0.0: The seL4 microkernel
-
Microkit 1.3.0: The seL4 Microkit for building static-architecture systems
-
CAmkES 3.11.0: Component Architecture for microkernel-based Embedded Systems
-
capDL 0.3.0: Tools for generating, parsing and loading capability distribution specifications
-
rust-sel4 1.0.0: Rust support for seL4 userspace. See GitHub - seL4/rust-sel4: Rust support for seL4 userspace for more information.
Microkit 1.3.0 and rust-sel4-1.0.0 are the first official releases under the seL4 foundation.
Cheers,
Gerwin