EriX Project
A clean-room, capability-based microkernel OS written entirely in Rust.
The EriX bootloader — a minimal, security-focused bootloader that currently targets UEFI on x86_64 and loads/verifies boot.img files.
Updated 2026-05-24 16:15:00 +02:00
lib-capabi defines shared capability ABI primitives for EriX.
Updated 2026-05-23 13:47:15 +02:00
lib-bootstrap defines shared bootstrap startup contracts for root task and early critical services.
Updated 2026-05-23 13:07:25 +02:00
lib-deflate provides bounded no_std zlib/deflate helpers for filesystem fixtures
Updated 2026-05-22 14:51:29 +02:00
lib-fs-crypto contains internal no_std helpers for filesystem encryption and verity plumbing
Updated 2026-05-22 14:51:29 +02:00