[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?

[mattl]

As long as there's init, or something to boot into, sure.