(15-11-2017, 09:25 PM)zge Wrote: I thought that they only had installed MINIX on Ring -3 in the last few years (somewhere early 2010's?). And besides that, aren't there considerably more Android/mobile device's running some modified Linux than desktops/laptops with Intel processors?

Yes, you are right, I forgot a word there. I meant to say in all modern Intel CPUs, thanks for the correction.

But you forgot list servers and HPCs/supercomputers. I think the big server farms have so many processors, that there is no chance even for AMD and ARM devices combined. But it would be interesting to count that. Andrew Tanenbaum himself at least thinks it is.

EDIT: fixed formatting.