To wit: While overall server revenue grew at just 3.1 percent and Windows server revenue increased just 3.2 percent in the fourth quarter of 2012 year-over-year, Linux experienced 12.7 percent year-over-year growth for the same period. Unix, meanwhile, was down 24.1 percent.