I toured the valve offices last summer, and I was told that they were in fact developing their own variation of Linux for internal use.