Official Release 1.0.0

The Saga Begins.
Forged in Steel.

GuardBSD "Winter Saga" is the first industrial-grade multi-microkernel OS. A Trusted Computing Base smaller than a shield boss, designed for the harshest digital environments.

Source_Tree
guardbsd
Cargo.toml
Makefile
kernel
linker-x86_64.ld
linker-aarch64.ld
microkernels
servers
netd
vfs
gpu
branch: winter-sagautf-8 | unix | rust

System Power

The Pillars of the Saga

Impenetrable Security

Decomposed architecture means no single point of failure. The kernel is strictly guarded.

Kernel Isolation

µK-Time, µK-Space, and µK-IPC run in isolated domains. Drivers live in user-space.

BSD Heritage

Built on the philosophical foundation of BSD, but forged with the safety of Rust.

Hot Restarts

Microkernels can be reloaded without stopping the system. Resilience is native.

Architecture of the Stronghold

Visualizing the Tri-Kernel Decomposition

< 3KB

µK-Time

< 3KB

µK-IPC

< 3KB

µK-Space

Hardware Abstraction Layer

Hover over a microkernel to decipher

Minimal Trusted Computing Base

Security is inversely proportional to the size of the privileged code. GuardBSD reduces the attack surface by orders of magnitude, like a well-forged blade.

Total Privileged Code: < 8KB
Independent Address Spaces
Strictly Typed IPC Messages

Codebase Size (LOC)

Rendering chart...

Ready to Forge?

user@winter-saga:~$ cargo build --target targets/x86_64-unknown-gbsd.json
Compiling uk_time v1.0.0...
Compiling uk_space v1.0.0...
Finished release [optimized] target(s) in 1.42s