From: Ben Pfaff 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