[n3v3r3v3r]

Kind of actually, just depends how much you mean by "regular human"--it's not super popular but the Sculpt OS[1] release of Genode is a pretty solid system runnable on top of SeL4 that supports emulation for the features it's otherwise missing (a la wifibox). Have not personally used it yet but I believe the developers dogfood it on some decently modern hardware (think Framework). It has a very specific design ethos and aesthetic[2] that I find super compelling.

[1] https://genode.org/download/sculpt

[2] https://genode.org/about/2020-09-16-sculpt.png

[snvzz]

Running Linux in VMs covered the gap and allowed them to dogfood Genode for years.

But today, they have native modern webbrowser with native 3d acceleration and native audio.

Genode has gone very far.