I couldn't find any reproducibility problems with Bochs 2.2.6.

diff --git a/TODO b/TODO
index bb5772bac8efe1699d6cf4231054b5006ef2890c..c666bab762668690121a79e0e79f53fdf05b99a6 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,7 +1,5 @@
 -*- text -*-
 
-* Bochs is not fully reproducible.
-
 Godmar says:
 
 - In Project 2, we're missing tests that pass arguments to system calls