From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 24 May 2006 16:13:47 +0000 (+0000)
Subject: Add idea.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5dd0d3116a856d21711955f30c7fb1f607face6c;p=pintos-anon

Add idea.
---

diff --git a/TODO b/TODO
index 10c5d65..06fc981 100644
--- a/TODO
+++ b/TODO
@@ -7,6 +7,10 @@
 * 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.
+
 * Userprog project:
 
   - Get rid of rox--causes more trouble than it's worth