Earlier quoted context omitted.
Openbsd makes a good stopgap. The way forward is seL4[0][1]. 0. https://sel4.systems/ 1. https://microkerneldude.org/category/sel4/
Neat stuff, but this is not going to easily run the vast majority of open source software out there.
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.