Serious OS research has tended to get stuck in academia and research labs for the past ~20 years; probably something to do with the worse-is-better pricnciple.

Serious OS research has tended to get stuck in academia and research labs for the past ~20 years; probably something to do with the worse-is-better pricnciple. L4 [1] has managed to sneak into a lot of phones in basebands and "security processors", though. [1] http://www.l4hq.org/ http://www.l4hq.org/