The Unified Immutable Operating System
ProLinux is a GNU/Linux distribution with an immutable root filesystem, an A/B updating scheme, Flatpak-first app distribution model, and a unified API surface to interact with the OS.
It has an emphasis on use-cases that particularly shine with this style of operating system; devices where system integrity and a consistent runtime environment should be guaranteed, which scales from phones, light laptops, embedded devices, and servers.
Danger!
ProLinux is still under heavy development! All images are currently bleeding edge, development builds that break all the time! Don’t expect to be able to daily drive it yet, but do try out ProLinux and have fun on virtual machines and secondary devices, and join the community to help build ProLinux!
Features
Immutability
ProLinux is immutable, meaning the essential operating system files have been meticulously sourced, configured, and packaged into a secure compressed read-only image. Your system will run exactly as we designed it, won’t break over time, and changes to it cannot be made by buggy or malicious code.
A/B Updating
A/B Updating means ProLinux keeps two copies of itself on your disk at all times. When it’s time to update, the secondary root slot is updated, and then booted into. This means near instant updates upon reboot, and if something goes wrong, ProLinux can simply revert back to your good slot.
Flatpak First
Apps on ProLinux are distributed as Flatpaks, an app distribution and containerization platform. With Flatpak, apps live in their own isolated container, and within an environment determined by the app developer. This means apps run safer and more reliably, and are cleanly installed and uninstalled.
ProLinux API
One API, total control.
Because of ProLinux’s highly integrated nature, it can expose a unified API for controlling and automating various aspects of the operating system, all powered by the ProLinux Daemon.
This feature is very much still a WIP, but expect more development soon™
Mobile Linux
ProLinux features builds of KDE’s Plasma Mobile desktop environment, a cutting edge platform for Linux on the phone.
Plasma Mobile Nightly images are bleeding edge builds of ProLinux designed for developers working on Plasma Mobile. They are built from the upstream Git main branch are regular intervals, representing the very latest in Plasma Mobile development.
Get Involved!
ProLinux needs users like you! Whether you want to try testing out ProLinux on different hardware, improve the documentation or community experience, or want to dive head first into helping develop an operating system, we’d love to have you around!
Our main space is a bridged Matrix room and Discord server, which we highly recommend you join.
One goals of ProLinux is to make it easy to contribute back to the OS. To that end, ProLinux lives in a single git monorepo, and you can compile the entire OS in just a few commands.