SYSTEM BUILT
TO EVOLVE.

A modular capability-based kernel written in Rust — designed to self-heal, hot-reload, and adapt at runtime. Zero overhead. Infinite modularity. Every component is replaceable, every failure is recoverable.

Capability SecurityMulti-ArchHot-Reload Modules
Get StartedGitHub Star

~0

Core TCB lines

~0

Workspace crates

0

Architectures

0

Boot time (ms)

Philosophy

Design Principles

Six core tenets drive every decision — from trait-based modularity to AI-powered self-healing.

trait T { }

Trait-Based Everything

Every subsystem is a Rust trait. Scheduling, allocation, filesystem — all swappable at runtime through trait objects.

hot_swap!()

Hot-Reload First

Modules replaced at runtime: pause → export state → init new → import state → activate. Automatic rollback on failure.

self_heal()

Self-Healing

Crashed subsystems are detected and restarted automatically. The kernel monitors health and escalates recovery actions.

#![no_std]

Bare Metal Rust

#![no_std] everywhere. Targets x86_64, AArch64, and RISC-V 64. Zero libc, zero runtime.

cap::grant()

Capability Security

Fine-grained permission model. Every resource access goes through capability validation. Least privilege by default.

nexus::predict()

AI-Powered Kernel

NEXUS: 812K lines of intelligence. Crash prediction, anomaly detection, micro-rollback, quarantine escalation.

Knowledge Base

System Architecture

Getting Started

Prerequisites, installation, building, and first boot in QEMU.

Architecture

Layer stack, design philosophy, and crate dependency graph.

Core Kernel

Trusted Computing Base: orchestrator, syscalls, IPC, interrupts, self-heal.

HAL

Hardware Abstraction Layer: CPU, MMU, interrupts — multi-arch.

Subsystems

Memory management, execution engine, DIS scheduler, init phases.

Module System

Hot-reload registry, ABI versioning, module metadata.

HelixFS

CoW filesystem with journaling, B+Tree, snapshots, encryption.

NEXUS

Kernel intelligence: prediction, anomaly detection, quarantine.

Lumina

Vulkan-class GPU API: render graphs, shaders, PBR materials.

Device Drivers

Magma GPU driver, VirtIO support, driver module framework.

Benchmarks

Deterministic kernel benchmarks with statistical analysis.

CPU Architectures

Deep dive into x86_64, AArch64, and RISC-V 64 HAL.

Debugging

GDB, serial console, QEMU flags, crash analysis.

OS Builder Profiles

Build profiles, helix.toml config, custom OS creation.

Community

Join the Collective

Helix is open-source and built by hackers worldwide. Contributing is the best way to learn OS development.

Contributors

The humans behind the kernel.

Glossary

73 terms, 8 categories.

Blog

Updates & deep dives.

FAQ

Quick answers.

Write safe kernel code.
Deploy instantly.

Experience the power of a modern kernel built with Rust. Type-safe IPC, zero-cost abstractions, and a capability-based security model right out of the box.

Compile Time
< 2s
Boot Time
35ms
Binary Size
1.2MB
profiles/minimal/src/main.rs
rust
1
#![no_std]
2
#![no_main]
3
#![feature(custom_test_frameworks)]
4
#![feature(naked_functions)]
5
6
extern crate alloc;
7
8
mod boot; // Multiboot2 header + startup
9
mod filesystem; // HelixFS integration
10
mod framebuffer; // Graphical output
11
mod nexus; // Full NEXUS integration
12
13
#[no_mangle]
14
pub extern "C" fn kernel_main(multiboot2_info: *const u8) -> ! {
15
#[cfg(target_arch = "x86_64")]
16
unsafe { init_serial(); }
17
unsafe { parse_multiboot2_framebuffer(multiboot2_info); }
18
19
framebuffer::console_init();
20
init_heap(); // 4MB bump allocator
21
init_memory(); // Physical + virtual
22
init_interrupts(); // GDT, IDT, PIC
23
init_scheduler(); // Round-robin / priority
24
init_filesystem(); // HelixFS 4MB ramdisk
25
26
start_kernel(); // Hot-reload + self-heal + NEXUS
27
halt_loop();
28
}
Newsletter

Stay in the Inner Loop

Low-level insights, architectural breakthroughs, and early access — delivered straight from the kernel devs.

What you'll get

Join thousands of kernel hackers getting the inside scoop.

Weekly kernel builds & changelogs
Early access to RFCs & roadmaps
Security advisories & zero-day patches
Private Discord & contributor events

No spam. Unsubscribe anytime. Just pure kernel signal.

Your email is encrypted & never shared.