Most Google engineers use Linux on desktops. For a laptop, you get to choose between a Mac and a PC Laptop (running Linux as well).