CS140: Programming Information
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.
This is the same information presented in different forms.