X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=a1dd761d8089f4743efe994ca3c801919a515712;hb=1aeb8ceb8d3c858b062224ff2cb25bd3f565bfe5;hp=463cb88457023fa1ab82af25120f68cbc3dfbc48;hpb=ef3fb564a37566ab3eca293e279ce441a78e85e5;p=pintos-anon

diff --git a/TODO b/TODO
index 463cb88..a1dd761 100644
--- a/TODO
+++ b/TODO
@@ -7,10 +7,6 @@
 * Add serial input support.  Also, modify tests to redirect input from
   /dev/null, to avoid stray keystrokes getting sent into the VM.
 
-* Make pintos script read the serial output and kill the subprocess if
-  it panics (after waiting a few seconds) or triple-faults.  Might
-  want it to be optional, so that interactive users don't get killed.
-
 * Godmar: Introduce memory leak robustness tests - both for the
   well-behaved as well as the mis-behaved case - that tests that the
   kernel handles low-mem conditions well.