+* Give advice on how to use `diff' to find out what has changed
+
+* pintos script doesn't (always?) delete temp disks
+
+* GNU make 3.80 or later is required.
+
+* Finish writing tour.
+
+
+
+
+
+* process_death test needs improvement
+
+* Internal tests.