Add idea.

diff --git a/TODO b/TODO
index 10c5d650626ab40128868de4230b16873a45ea12..06fc981ca83ea7d11ee07c0c9a019a0645c447f6 100644 (file)
--- 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