[qznc]

> It's clear that Linux 'won' in the marketplace

Arguable. There might be more instances of QNX and L4 running than of Linux. This is pretty much impossible to measure. Remember that Android smartphones have a second OS underneath or beside the Linux kernel.

Apple and Microsoft use a hybrid approach, so they just do not participate in the debate.

> OKL4 shipments exceeded 1.5 billion in early 2012, mostly on Qualcomm wireless modem chips. Other deployments include automotive infotainment systems.

http://en.wikipedia.org/wiki/L4_microkernel_family#Commercia...

[amirmc]

Thanks for the info. Linux certainly captured mindshare and is synonymous with the cloud these days, but I agree these things are not clear cut.