MacOSX is a popular choice for dev boxes (if I understand correctly, they provide some pretty good tooling for managing a fleet of machines; more expensive hardware than a Linux dev machine fleet, but less DIY for company-wide administration).

... but Google solves the "A Linux fleet requires investment to maintain" problem by investing. They maintain their own in-house distro.