Red Hat's financial performance under IBM