On the morning of the dedication of the William H. Gates
Building, the internet kiosks in the lobby which normally ran
Windows XP were changed to temporarily boot linux. The screens
displayed a welcome message from Tux the Linux penguin. After a
few hours, they were converted back to Windows XP.