Rust Multi-Microkernel OS • Capability Security • Production-Ready
Website • GitHub • X (@GuardBSD)
Proprietary Closed-Source Operating System
Legal and Ownership Notice
GuardBSD is a proprietary operating system developed and owned exclusively by Cartesian School (represented by Siergej Sobolewski).
This GitHub repository is maintained solely for the purpose of protecting the project name, trademark and brand identity. It does not contain, and has never contained in its current state, any source code of the active version of GuardBSD.
The complete source code of GuardBSD — including but not limited to the tri-microkernel architecture (µK-Space, µK-Time, µK-IPC), all privileged components, file systems (GuardFS, GuardZFS), bootloader (GuaBoot), device drivers and related intellectual property — is strictly closed-source and resides exclusively in private repositories.
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
This repository does not constitute an open-source project. No issues, pull requests, forks or external contributions are accepted or considered.
Any historical code fragments previously present in this repository have been removed and do not represent the current product.
All rights are reserved. Commercial licensing, support agreements and partnership inquiries are handled exclusively through the official channels.
Official website: https://guardbsd.org
© 2025–2026 Siergej Sobolewski / Cartesian School. All Rights Reserved.