[snvzz]

Openbsd makes a good stopgap.

The way forward is seL4[0][1].

0. https://sel4.systems/

1. https://microkerneldude.org/category/sel4/

[binkHN]

Neat stuff, but this is not going to easily run the vast majority of open source software out there.

[snvzz]

Not today, but it could tomorrow.

e.g. Genode's Sculpt[0] already bridges the gap via running Linux in a VM.

Even though they already have native webbrowser and can build software natively, it wasn't always the case.

0. https://genode.org/download/sculpt