[Accujack]

Not even close.

Even if Minix had been installed on every single management card on every computer Intel made from then to now, that number is utterly dwarfed by the number of systems with an installed Linux kernel. That's because in addition to its use as a server and desktop OS, the Linux kernel is the core of the Android distributions that almost every non apple smart phone uses today. Also set top boxes, tablets, watches, and even many smart TVs and Blu Ray players have a copy of Android.

[withinboredom]

The Linux kernel is a kernel, not an OS. Even if my set-top-box is running some flavor of Android, it looks nothing like my phone or anything else, thus I would classify it as a different OS -- even if the underlying code is based on Android.

[withinboredom]

I'd be really curious why there are downvotes, mostly for the discussion.

[programmer_dude]

And Minix 3 is an OS?

[paride5745]

Yes, full OS with its own microkernel and NetBSD-forked userland.

[KptMarchewa]

What's the point of nitpicking userland if we're concerned with processor build-in management engines?

[paride5745]

Minix3 was born as a full OS, not a management engine. What Intel really did with the code, nobody really knows.

[sgt]

Does Intel bundle all the userland tools?

[mattl]

Does it need to?

[programmer_dude]

Is it an OS if there is no userland?