EriX Project
A clean-room, capability-based microkernel OS written entirely in Rust.
integration is the cross-repository system integration and VM validation repository for EriX.
Updated 2026-05-24 17:15:10 +02:00
lib-dynlink provides validation-first native dynamic-link planning helpers for EriX
Updated 2026-05-24 16:15:19 +02:00
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