postmarketOS is an operating system primarily for smartphones. We choose our software components carefully and work upstream-first to keep devices useful with up-to-date software for years even aft...
Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
OS built with the Ironclad kernel and using GNU tools for the userland, along with some original applications like util-ironclad. Gloire is capable of running Xorg-based desktop environments, games...
A ground-up open-source 64-bit operating system for digital sovereignty. Includes: custom kernel with ACPI 6.2 AML interpreter, NVMe/WiFi 802.11ac/HD Audio/USB 3.0 drivers, TCP/IP networking with T...
The postmarketOS team
Zackery Sayers / TaterLabs