Scalable Services in a Factored Operating System