3 ms·
> especially now with Linux running on billions of devices Aren't those billions of Linux/Android instances typically running on top of an seL4 microkernel?
by femto 1y ago
> especially now with Linux running on billions of devices
Aren't those billions of Linux/Android instances typically running on top of an seL4 microkernel?
- yjftsjthsd-h 1y agoAre they? I can't seem to find evidence of Android using it
- femto 1y agoAt one point it was [1], and I'm not aware that that has changed. I've also a memory of talking to the seL4 team at a NICTA open day, and them saying it was widely deployed on Qualcomm based devices. It's not part of Android per se, sitting underneath Android and acting as a secure hypervisor, so any Android vulnerabilities are contained. [1] https://web.archive.org/web/20120211210405/http://www.ok-labs.com/releases/release/ok-labs-software-surpasses-milestone-of-1.5-billion-mobile-device-shipments https://web.archive.org/web/20120211210405/http://www.ok-lab...