Many tools lie at your disposal for developing and debugging in Pintos. This section introduces you to a few of them.