What is CambiOS?

A microkernel OS built in Rust, that boots in QEMU under x86_64, AArch64, and RISC-V - targeting formal verification. Processes are assigned unforgeable cryptographic identity and IPC gates access to only allowed endpoints.

What does it want to be? Ambitious. Cutting away latent security issues, corporate surveillance, centralized identity and data hosting, and OPEN. With the advent of the coding tools, building the things we want is a bit less of a lift. Could it replace Windows? Sure. That's where the idea was born.

Secure and intuitive, in a nutshell.

I've been working on this for a couple of years and coding earnestly for months. Looking for feedback and would LOVE to find collaborators.

I saw a hole in the OS landscape and am working to close it - the closest other alternative I could find is Google's Fuschia (not sovereign by any stretch.)

I'm Jason, here for questions if they come up.. cheers!

More info here: https://coherentforge.com/cambios