EriX Project

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

Tampere, Finland
Repositories
45
 Projects Packages Members
1
Filter
Sort
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
inputd
Rust 0 0
inputd is the normalized input routing service.
Updated 2026-03-23 09:20:11 +01:00
integration
Shell 0 0
integration is the cross-repository system integration and VM validation repository for EriX.
Updated 2026-03-23 09:20:11 +01:00
fbcond
Rust 0 0
fbcond is the framebuffer console service for EriX.
Updated 2026-03-23 09:20:10 +01:00
hotplugd
Rust 0 0
hotplugd is the hardware hotplug mediation daemon for EriX.
Updated 2026-03-23 09:20:10 +01:00
drv-ps2-mouse
Rust 0 0
drv-ps2-mouse is the PS/2 pointer protocol translator daemon.
Updated 2026-03-23 09:20:09 +01:00
drv-serial
Rust 0 0
drv-serial is the userspace serial hardware driver daemon for EriX.
Updated 2026-03-23 09:20:09 +01:00
drv-i8042
Rust 0 0
drv-i8042 is the userspace i8042 controller owner for EriX input bring-up.
Updated 2026-03-23 09:20:08 +01:00
drv-ps2-keyboard
Rust 0 0
drv-ps2-keyboard is the PS/2 keyboard protocol translator daemon.
Updated 2026-03-23 09:20:08 +01:00
docs
TeX 0 0
EriX general documentation repository
Updated 2026-03-23 09:20:07 +01:00
drv-acpi
Rust 0 0
drv-acpi is the ACPI platform discovery daemon in EriX hardware mediation.
Updated 2026-03-23 09:20:07 +01:00
deviced
Rust 0 0
deviced is the device manager daemon for EriX.
Updated 2026-03-23 09:20:06 +01:00
boot-tool
Rust 0 0
A command-line utility for inspecting, verifying, and building boot images for the EriX operating system.
Updated 2026-03-23 09:20:06 +01:00
bootloader
Rust 0 0
The EriX bootloader — a minimal, security-focused bootloader that currently targets UEFI on x86_64 and loads/verifies boot.img files.
Updated 2026-03-23 09:20:06 +01:00
crashd
Rust 0 0
Crash reporting service for the EriX operating system.
Updated 2026-03-23 09:20:06 +01:00

Members 1