Hacker News new | 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?

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