3 ms·
>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 compatibi
by snvzz 4y ago
>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.