>> Please cite any offline or online sources you consulted while
>> preparing your submission, other than the Pintos documentation, course
->> text, and lecture notes.
+>> text, lecture notes, and course staff.
PAGE TABLE MANAGEMENT
=====================