News for hackers. Stuff that matters.
Re:Ask HN: How do you trust that your personal machine is no... by snvzz on Sunday January 15, 2023 @11:47AM (#34390754)
>seL4 as an extreme is a micro-kernel with mathematically provable security by design, but no workstation software runs on it yet.

With Genode, POSIX compatibility is at the point where you can run a webkit2-derived browser natively. There is also 3d acceleration.

There are no comments on this comment yet.