From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 7 Sep 2006 20:50:41 +0000 (+0000)
Subject: Add:
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=449550e60fad0717a9c589cd5e2f5ec679276eda;p=pintos-anon

Add:

* 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".)
---

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.