CentOS History: How a Linux hobby project became the enterprise operating system