From 5dd0d3116a856d21711955f30c7fb1f607face6c Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 24 May 2006 16:13:47 +0000
Subject: [PATCH] Add idea.

---
 TODO | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
2.30.2