From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 20 May 2006 20:01:15 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=3aed0d2d4a90ee50db206d7442c4a87207f59d4d

Comment.
---

diff --git a/doc/reference.texi b/doc/reference.texi
index 0c577f7..463f728 100644
--- a/doc/reference.texi
+++ b/doc/reference.texi
@@ -840,6 +840,9 @@ char get (void) @{
 @node Memory Barriers
 @subsection Memory Barriers
 
+@c We should try to come up with a better example.
+@c Perhaps something with a linked list?
+
 Suppose we add a ``feature'' that, whenever a timer interrupt
 occurs, the character in global variable @code{timer_put_char} is
 printed on the console, but only if global Boolean variable