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 de

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_software https://en.m.wikipedia.org/wiki/Nintendo_Switch_system_softw...