But nowhere near as practical as Linux at the moment of course
I think it'd be very cool to have a fully verified kernel...
I like the idea of Qubes and it looks like Genode might be an even better idea...
I've looked into it briefly but it seems like too much work for me right now.
The True Genode Way of course is that everything worth having would eventually be ported as a native genode component instead of a qubes style VM. They've put a lot of effort into making that as easy as they can with Goa (a nix-inspired package management and build tool) and adding to their C standard library and ports of popular 3rd party libs like SDL
They dont assume you want a RAM-Only filesystem by default. It starts out completely immutable with nothing being able to save anything anywhere.
If you want to save anything to a hard drive you have to enable that driver because they don't assume that you'd need one.
Copy and paste is an optional extra to install
It's wild :p
From their description: "It is tested best on laptops of the Lenovo X and T series (X220, X250, X260, T430, T460, T470, T490)", 200 isn't on the list but you'd probably have about as good a time as you can
It's tiny, clearly built with love for the user, doesn't do a heck of a lot, and has some interesting ideas that are just fun to mess around in. And unlike some of the similar retrocomputing OS's (which are also lovely but grounded in old fashioned design), genode feels like a glimpse into the good future.