

I’ve heard people say things along the lines of “the Linux revolution never happened”.
Utterly false. Linux is, by a huuuuuuge margin, the most popular OS kernel in the world. It’s the most popular kernel for mobile phones. It’s the most popular kernel for servers. It’s the most popular kernel for SBCs. It may be the most popular kernel for embedded applications, but it’s hard to know that. The only place it’s not the most popular kernel is desktops/laptops.
Maybe, but it’s hard to know that. Something running in the firmware of a chip in an embedded device is harder to identify than something powering the whole device. There’s also no reliable, publicly available statistics on embedded OSes I could find. So yeah, Linux might not be the most common kernel for embedded systems.