Try to clarify synchronization.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index 2d61506b6882bbfdb81b170fb1de9779110dc8d1..a027d61d168b6b237d7ee6f13d01e32268460287 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,5 +1,11 @@
 -*- text -*-
 
+* Clean up:
+
+  - Replace AT&T assembly code by Intel assembly so that students can
+    figure out the asm from the Intel manuals.  Compare object files
+    before and after to make sure nothing changed.
+
 * Grader:
 
   - Fix bug where failures are being treated as warnings.