Internal cluster management tools for the Stanford RAMCloud development cluster - View it on GitHub