Hacker News Reader

Actually, MINIX, the operating system used in the ME in modern Intel chipsets, is possibly now one of the most widely deployed operating systems on the planet.

Sure it matters, because Android Oreo has actually forked Linux into a microkernel like design, where drivers run as separate processes and use Android IPC to talk with the kernel.

And Fuchsia, if it ends up replacing Android, is a microkernel design from the bottom up.

Isn't GNU/Linux (so, no Android) alone most popular OS too, thanks to servers and cloud? Any data on this?

Ah, possible--but not consumer.

Well, by using the internet, pretty much everyone is a consumer, even though they don't necessarily know of it.

What popularity has to do with OS design?