Comment by VWWHFSfQ

but the cpus deployed in datacenters also run minix. even the ones running linux. or windows