X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=5bf19c1d3c94176bbc9e523b0538e12b893fa4ce;hb=75184807993ee59c83ad50ec17c00a99dc588c2e;hp=017db82200fa63932869c6b92a4ddfc323714196;hpb=b0989f883c16aeee2cb9278340601f15bcc15dd4;p=pintos-anon

diff --git a/TODO b/TODO
index 017db82..5bf19c1 100644
--- 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>