OKL4 was shipped with 1.5 Billion mobile devices using Qualcomm chips Source: https://web.archive.org/web/20120211210405/http://www.ok-labs.com/releases/releas

OKL4 was shipped with 1.5 Billion mobile devices using Qualcomm chips Source: 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..., via https://en.wikipedia.org/wiki/L4_microkernel_family#Commercial_deployment https://en.wikipedia.org/wiki/L4_microkernel_family#Commerci...