It's not for industry, but I keep mentioning it because it's so surprising and little known: The Nintendo Switch uses a home-grown microkernel. It's not UNIX-compatible, fits into ~30K lines of code IIRC, and everything from the USB to the Graphics drivers are sandboxed in userspace. (Too bad NVIDIA's Secure Boot code didn't match Nintendo's standards.)
https://en.wikipedia.org/wiki/Nintendo_Switch_system_softwar...