> 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

> 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#Commercial_deployment http://en.wikipedia.org/wiki/L4_microkernel_family#Commercia...