Post
Zhuowei Zhang Switch OS is based on a BSD I think
Confused Halibut It's not. It's based on a (much expanded) microkernel from the 3DS OS, with everything running as services (switchbrew.org/wiki/Services_API).
The BSD networking stack (switchbrew.org/wiki/Sockets_services) lives in one service, and (I kid you not) a fake version of the Android SurfaceFlinger API in another server (switchbrew.org/wiki/Nvnflinger_services) so that they could reuse the Android Tegra GPU driver