Hacker News Reader

Openbsd makes a good stopgap.

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

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

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.