X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=108a05d97539c835445774c91bcc9773a02de425;hb=78b4c003bae8960e670fb8ff02a58bf9323594e4;hp=2764709b71f0d4c9afdd14304abcf88272dd3af0;hpb=aeb12dc32a54a4bef75ed64206b71bf47efdb98b;p=pintos-anon

diff --git a/TODO b/TODO
index 2764709..108a05d 100644
--- a/TODO
+++ b/TODO
@@ -1,5 +1,9 @@
 -*- text -*-
 
+* In grading scripts, warn when a fault is caused by an attempt to
+  write to the kernel text segment.  (Among other things we need to
+  explain that "text" means "code".)
+
 * Reconsider command line arg style--confuses everyone.
 
 * Internal tests.