Makatea: Qubes-like OS on seL4

General Discussion
#1

https://www.trustworthy.systems/projects/TS/makatea

See also earlier topics about alternative operating systems

Qubes-lite With KVM and Wayland
and

Spectrum OS discussion

and

BastilleBSD discussion

and

Bottlerocket

3 Likes
#2

See also:

#3

That’s about what I suggested some time earlier in issue #3894 ‘Use verified L4 kernel instead of Xen’. I hope they get along with that, and in close cooperation with Qubes!

3 Likes
#4

The reason it is Qubes-like, rather than being a full Qubes OS port, is that it is limited to server-side uses where all VMs are defined in a compile-time configuration file. Obviously this is not sufficient for the desktop use-cases that Qubes OS targets. I both hope and believe that Qubes OS can and will be ported to seL4 at some point, but this will require substantial development effort.

3 Likes
#5

SEL4 + Qubes is game changer

But unsw been talking about this for 10 years