I believe their Linux desktops are Debian-based but my understanding is their servers run a highly customized version of Linux that really isn't based on and doesn't look like a conventional distro.