Systems and low-level
A from-scratch Rust operating system with capability security and deterministic replay, and an intent runtime whose formal proofs run in microseconds.
DominionOS
An operating system from scratch, in Rust.
Research Operating system research
DominionOS is an experimental capability-secured operating system written from scratch in Rust: an x86_64 kernel with capability-based security, content-addressed immutable storage, deterministic execution and replay, and on-device ML inference.
What it does
It boots in QEMU and on real hardware. It is research-grade and explicitly not production software.
The entire source is public, which is the point: every claim on this page is checkable against the repository rather than taken on trust.
Who it is for
OS researchers, Rust systems programmers, and anyone interested in capability security or deterministic replay.
What it costs
Open source.
Terminology
Words this page uses in a specific sense.
- Deterministic replay
- Recording enough of a system execution that it can be re-run to produce byte-identical results — the basis for debugging and for auditing what actually happened.
- Content-addressed storage
- Data stored and retrieved by the hash of its contents, which makes it immutable and deduplicated by construction.
Facts
| Field | Value |
|---|---|
| Name | DominionOS |
| Status | Research |
| Category | Operating system research |
| Platforms | x86_64 (bare metal, QEMU) |
| Pricing | Open source. |
| Source | Open source |
| Publisher | Cognitive Industries |
| Published from | Brisbane, Queensland, Australia |
Capabilities behind it
Security and cryptography
Non-LLM vulnerability scanning, a self-playing cyber range, encrypted-at-rest stores, and licensing backed by proof-of-work.
Sources
Where this page states a standard, an obligation or a research result, this is what it is drawn from. All external, all checkable.
- DominionOS source — every claim on this page is checkable against the repository
- Keystroke dynamics research overview — Computers & Security — the basis for HumanIO timing models
- Fitts, P. M. (1954), The information capacity of the human motor system — the motor-control law behind cursor submovements
Related
Last reviewed · Site changelog