Statistics schmatistics. Like sure, one can say that Minix is used in microcontrollers and all around the world and thus the usage ratio between Linux and Minix is about 3% vs 98%; but one could also argue that these microcontrollers and firmwares are not actually "used" by someone, they are just middleware and accessory just in the same way we don't count count LED headlights separately for tallies on driving (and pedestrian) culture, and then we can firmly say that ratio is now 3% to ~0%.