Nintendo do use some code from the FreeBSD kernel in the network / sockets stack though - https://switchbrew.org/wiki/Sockets_services
Reply on news.ycombinator.com