3 These solutions are well written and pass all the corresponding tests.
4 You can run them automatically with `make check' in tests/.
6 The patches must be applied in order. For example, to get a solution for
7 Project 3, invoke the following commands in the Pintos top-level directory: