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

User Space
Device Drivers
File System
Network Stack
< 3KB

µK-Time

< 3KB

µK-IPC

< 3KB

µK-Space

Hardware Abstraction Layer

Hover over a microkernel to decipher

Siergej Sobolewski

Author & Architect

Siergej Sobolewski is the author of GuardBSD and the shining originator and implementer of the multi-microkernels OS idea. After years of analysing fundamental security flaws in both monolithic and classical microkernel designs, he concluded that only true decomposition into several independent microkernels can deliver industrial-grade security without sacrificing performance. This vision became the foundation of GuardBSD's tri-kernel architecture (µK-Space, µK-Time, µK-IPC) and its Trusted Computing Base smaller than a shield boss.

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)

Security is inversely proportional to the size of privileged code.Smaller attack surface = stronger security

Initializing battle chart...

GuardBSD Victory

  • Total Privileged Code: <8KB
  • Independent Address Spaces
  • Strictly Typed IPC Messages
1KBlog scale50MB

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