Nintendo is an interesting example though. According to Wikipedia they actually use a proprietary microkernel, which, if I'm reading this right, I think they developed themselves. Looks like the only open source components they have is some networking code which is published under the BSD license.

https://en.m.wikipedia.org/wiki/Nintendo_Switch_system_softw...