EriX Project
A clean-room, capability-based microkernel OS written entirely in Rust.
lib-interrupt provides typed client helpers for the EriX interrupt routing service.
Updated 2026-07-23 14:10:09 +02:00
lib-service is the service-discovery client helper crate for EriX.
Updated 2026-07-23 14:10:04 +02:00
lib-capabi defines shared capability ABI primitives for EriX.
Updated 2026-07-23 14:10:01 +02:00
A small, validation-first boot.img parser and verifier for the EriX project, written in Rust.
Updated 2026-07-23 14:10:00 +02:00
lib-fs-crypto contains internal no_std helpers for filesystem encryption and verity plumbing
Updated 2026-07-23 14:09:57 +02:00
Minimal no_std Ed25519 verification crate for EriX secure boot and related validation paths.
Updated 2026-07-23 14:09:57 +02:00
lib-fs-name is the shared no-std path and filename policy library for EriX
Updated 2026-07-23 14:09:54 +02:00