News for hackers. Stuff that matters.

A comment on SeL4 Device Driver Framework 0.4.0. Parent comment

Re:SeL4 Device Driver Framework 0.4.0 by n3v3r3v3r on Tuesday April 09, 2024 @09:56AM (#39979483)
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

[ Parent | on HN ]
Re:SeL4 Device Driver Framework 0.4.0 by snvzz on Tuesday April 09, 2024 @10:43PM (#39986465)
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.

[ Parent | on HN ]