You should read everything below before attempting any of the projects:
You need not read the reference guide, but you may find the information in it valuable from time to time:
You'll want to read these once you start work on the projects. Their advice can save you a lot of time:
Bracketed notations in Pintos source code comments can be looked up in the Bibliography.
Due May 7, 2013
Due May 28, 2013
Due June 21, 2013
Due July 12, 2013
This is the same information presented in a different form.