It's proprietary, but they kit bashed a bunch of existing components (iirc, Android's surface flinger, the Nvidia embedded linux drivers, and the freebsd network stack)
replyI think it's a FreeBSD variant, if I remember correctly.
replyps* is based on freeBSD, Nintendo is proprietary (though use OSS libraries)
reply