EriX Project

A clean-room, capability-based microkernel OS written entirely in Rust.

Tampere, Finland
lib-log is the logging client helper library for EriX.
Updated 2026-09-21 18:28:20 +02:00
lib-interrupt provides typed client helpers for the EriX interrupt routing service.
Updated 2026-09-21 18:27:46 +02:00
lib-block is the canonical fixed-size IPC/types crate for block storage
Updated 2026-09-21 18:27:12 +02:00
lib-bootstrap defines shared bootstrap startup contracts for root task and early critical services.
Updated 2026-09-21 18:26:39 +02:00
lib-capabi defines shared capability ABI primitives for EriX.
Updated 2026-09-21 17:44:12 +02:00
lib-ipc defines shared IPC ABI primitives for EriX.
Updated 2026-09-21 17:41:07 +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-09-18 08:10:14 +02:00
lib-dynlink provides validation-first native dynamic-link planning helpers for EriX
Updated 2026-09-16 06:45:20 +02:00
A command-line utility for inspecting, verifying, and building boot images for the EriX operating system.
Updated 2026-09-15 15:57:40 +02:00
A small, validation-first boot.img parser and verifier for the EriX project, written in Rust.
Updated 2026-09-15 15:27:15 +02:00
Minimal command-line hashing utility for EriX SHA-2 workflows.
Updated 2026-09-15 15:12:06 +02:00
lib-partition is the no-std GPT parser used by blockd
Updated 2026-09-15 15:11:04 +02:00
Minimal no_std Ed25519 verification crate for EriX secure boot and related validation paths.
Updated 2026-09-15 15:04:31 +02:00
lib-fs-crypto contains internal no_std helpers for filesystem encryption and verity plumbing
Updated 2026-09-15 15:04:31 +02:00
lib-crc provides small no-std CRC primitives shared by EriX storage and filesystem components
Updated 2026-09-12 11:58:42 +02:00

Members 1