I feel almost disappointed they don't at least run FreeBSD, but I guess it makes sense. They make a desktop OS, and most of the talent on the market has used Linux.