[ Redirecting this inquiry to the more appropriate ailing list]

On 2 Aug 2022, at 05:55, ossgroup <ossgroup@protonmail.commailto:ossgroup@protonmail.com> wrote:

I'm interested in porting QubesOS to seL4. Is there already an initiative for this? If not, would you mind pointing me in the right direction to get started?

People have been playing with this on-and-off, including a honours thesis here at UNSW years ago.

The closest current activity I’m aware off is our Makatea project which, in collaboration with Swiss company Neutrality, has a (presently) more limited aim of isolating servers on a private cloud: https://trustworthy.systems/projects/TS/makatea

A full Qubes port would be cool but a fair bit of work. I’d definitely like to see it done, and it’s clearly a more secure approach than having Xen (and therefore a whole Linux) in your trusted computing base.

Gernot