Hacker News Reader

And Minix 3 is an OS?

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

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

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

Does Intel bundle all the userland tools?

Does it need to?

Is it an OS if there is no userland?

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