I'm curious if this is actually true, considering various ARM MCUs and SOCs seem to dominate in quantity. Considering these largely run some sort of Linux or RTOS, I'd be curious to see if MINIX or Linux is more widespread?