Virgin America migrates to Red Hat Linux