X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=a07e2b422e21fe45b32a9f4cb5dc37c3ceb297b7;hb=1c2b347fd2b3b1d9f78cc2a40160dfb2a23a9bd9;hp=2d61506b6882bbfdb81b170fb1de9779110dc8d1;hpb=a8fc8d6b82dd68230c443157dea73879f0b95bd4;p=pintos-anon

diff --git a/TODO b/TODO
index 2d61506..a07e2b4 100644
--- a/TODO
+++ b/TODO
@@ -1,8 +1,10 @@
 -*- text -*-
 
-* Grader:
+* Clean up:
 
-  - Fix bug where failures are being treated as warnings.
+  - 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.
 
 * Userprog project: