Turn off optimization by default.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index f02d750548fb15914974bcd99d7515bcb8efb49c..9e332a36a320dc0d4fc6b927d2e35a0e0737e3e7 100644 (file)
--- a/TODO
+++ b/TODO
@@ -23,6 +23,9 @@
   - Add "Digging Deeper" sections that describe the nitty-gritty x86
     details for the benefit of those interested.
 
+  - Add explanations of what "real" OSes do to give students some
+    perspective.
+
 * Assignments:
 
   - Add extra credit: