SonicWall Kernel??

Does anyone know what “OS” sonicwall is? I have heard different things from different people. Some people say it Linux based and some say Mic$ based – I was just curious.

Thanks