. . . . "Facebook, Red Hat and other vendors are backing an effort to develop Linux software for ARM servers" .