>seL4 as an extreme is a micro-kernel with mathematically provable security by d...

		snvzz on Jan 15, 2023 \| parent \| context \| favorite \| on: Ask HN: How do you trust that your personal machin... >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.