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 14:37:13 +02:00
lib-dynlink provides validation-first native dynamic-link planning helpers for EriX
Updated 2026-05-23 15:56:33 +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