Skip to content

Systems

PointSav builds a family of purpose-built operating systems that share a common seL4 and Rust substrate. Each does one job, contains no features it does not need, and communicates through a common Diode-based protocol discipline. The result is a family that can be audited component by component, upgraded independently, and deployed in any configuration without unexpected coupling between systems.

os-family-overview is the entry point for readers new to the family — it explains the common substrate, the capability-based-security model that every OS inherits, the diode-standard that governs how they communicate, and the sel4-microkernel-substrate that anchors them all to a mathematically formally verified L1 kernel.

The archive layer

The core record-keeping systems at the foundation of every deployment — where the canonical record lives and how it is coordinated across a fleet.

Operator surfaces

The systems through which a human operator interacts with the platform — keyboard-driven, F-key-structured, and built around muscle memory rather than discoverability.

Network control and infrastructure

The systems that manage the network fabric, the bootstrap path, and the underlying compute substrate.

Publishing and media

The public-facing OS that hosts the company's marketing surface, internal wiki, and compliance newsroom on a single sovereign appliance.

See also

All 18 articles in this area, A–Z