Rename putchar_unlocked() to putchar_have_lock() to avoid GCC warning.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index 017db82200fa63932869c6b92a4ddfc323714196..5bf19c1d3c94176bbc9e523b0538e12b893fa4ce 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,5 +1,7 @@
 -*- text -*-
 
+* Bochs is not fully reproducible.
+
 Godmar says:
 
 - In Project 2, we're missing tests that pass arguments to system calls
@@ -28,7 +30,6 @@ the kernel memory statistics.
 
 ---
 
-
 From: "Godmar Back" <godmar@gmail.com>
 Subject: priority donation tests
 To: "Ben Pfaff" <blp@cs.stanford.edu>