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