Hacker Newsnew | comments | show | ask | jobs | submit login

OKL4 is built on a third-generation L4 microkernel and is deployed to over 1.5 billion mobile devices: http://www.ok-labs.com/releases/release/ok-labs-software-sur...



"[OKL4] is a microkernel-based embedded hypervisor". That does not quite sound like an OS.

-----


What is an OS but a process hypervisor?

-----




Applications are open for YC Winter 2016

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: