[03:18:13] <geniepro> > OKL4 shipments exceeded 1.5 billion in early 2012,[2] mostly on Qualcomm wireless modem chips. Other deployments include automotive infotainment systems
не seL4, а OKL4, оказывается
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
[21:45:57] <valexey> О! http://www.opennet.ru/opennews/art.shtml?num=48289