EriX Project

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

Tampere, Finland
Repositories
45
 Projects Packages Members
1
Filter
Sort
lib-ipc
Rust 0 0
lib-ipc defines shared IPC ABI primitives for EriX.
Updated 2026-03-23 09:20:19 +01:00
lib-input
Rust 0 0
lib-input is the typed no_std client helper library for inputd.
Updated 2026-03-23 09:20:18 +01:00
lib-interrupt
Rust 0 0
lib-interrupt provides typed client helpers for the EriX interrupt routing service.
Updated 2026-03-23 09:20:18 +01:00
lib-handoff
Rust 0 0
A thin, no-policy Rust crate for EriX handoff structures used in early boot and early userspace bootstrap.
Updated 2026-03-23 09:20:17 +01:00
lib-elf
Rust 0 0
A small, validation-first ELF64 parser for the EriX project, written in Rust.
Updated 2026-03-23 09:20:17 +01:00
lib-ed25519
Rust 0 0
Minimal no_std Ed25519 verification crate for EriX secure boot and related validation paths.
Updated 2026-03-23 09:20:16 +01:00
lib-driver
Rust 0 0
lib-driver provides typed client helpers for driver control IPC.
Updated 2026-03-23 09:20:16 +01:00
lib-device
Rust 0 0
lib-device provides typed device-binding descriptors and validation helpers shared by device-management services and driver tests.
Updated 2026-03-23 09:20:15 +01:00
lib-constant-time
Rust 0 0
Minimal no_std constant-time primitives for EriX security-critical code paths.
Updated 2026-03-23 09:20:15 +01:00
lib-capabi
Rust 0 0
lib-capabi defines shared capability ABI primitives for EriX.
Updated 2026-03-23 09:20:14 +01:00
lib-console
Rust 0 0
lib-console provides shared framebuffer console primitives used by bootloader, kernel, and userspace console services.
Updated 2026-03-23 09:20:14 +01:00
lib-bootimg
Rust 0 0
A small, validation-first boot.img parser and verifier for the EriX project, written in Rust.
Updated 2026-03-23 09:20:13 +01:00
lib-bootstrap
Rust 0 0
lib-bootstrap defines shared bootstrap startup contracts for root task and early critical services.
Updated 2026-03-23 09:20:13 +01:00
kernel
Rust 0 0
kernel is the policy-minimal microkernel core in the EriX boot chain.
Updated 2026-03-23 09:20:12 +01:00
irqd
Rust 0 0
irqd is the interrupt routing daemon for EriX.
Updated 2026-03-23 09:20:12 +01:00

Members 1