Share the remainder of the Pintos source code with the students for their projects.
Completed the documentation for Project 2.
Merge branch 'master' of login.cms.caltech.edu:/cs/courses/cs101os/pintos-cit
Merge branch 'master' of github.com:ilyanep/pintos-awesome