A powerful operating system for server infrastructure