Comment by amarant
15 days ago
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...
Yeah, the various docs and presentations given by reversers on the details of nintendos os really showcase a lot of good design choices. An impressive amount of work for just trying to enforce a harder IP moat around entertainment software.