I didn't cite any numbers. However, I do think Linux, VxWorks, and QNX are all significantly more popular than BSD. As phkahler mentioned there are billions o

I didn't cite any numbers. However, I do think Linux, VxWorks, and QNX are all significantly more popular than BSD. As phkahler mentioned there are billions of Android devices running Linux, and that's just to start. Chromebooks are also very popular (outselling MacBooks in recent quarters). Linux is very popular on millions upon millions of servers. Many home routers and/or access points are running Linux (although VxWorks is also popular here). Many other embedded devices in millions of homes are running Linux -- every Roku, Chromecast, Kindle, Nest thermostat, and many more things all add up. I've even put Linux on the firmware of network interface cards (NICs) before. If we are willing to count uClinux, I've put into planes as well. Even not counting uClinux, I've still put it into planes as part of a air-to-ground communication system. I'm not convinced BSD has nearly the installation count and your argument has not convinced me that it has.