Linux: the Operating System of the Cloud