from the same article "it is based on a proprietary microkernel" "....Despite popular misconceptions to the contrary, Horizon (the Switch's OS) is not largely

from the same article "it is based on a proprietary microkernel" "....Despite popular misconceptions to the contrary, Horizon (the Switch's OS) is not largely derived from FreeBSD code, nor from Android..."