Not just that, but the the copy of Minix in the intel IME of every intel processor.

Not to mention all the printers, routers, etc that run freertos/thread x/vxworks.