X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=7f50192db19841839f37da6d628e19e01eb36652;hb=5d2db354660571fe33495add5507bf07797f3860;hp=d401fda025f1f98b81ed78a31c743ccbd30bf68e;hpb=9087580da55af9d9515c5d7cb73a48a62cf3a36b;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index d401fda..7f50192 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -683,7 +683,8 @@ actual number written, or -1 if no bytes could be written at all.
 
 Fd 1 writes to the console.  Your code to write to the console should
 write all of @var{buffer} in one call to @func{putbuf}, at least as
-long as @var{size} is not bigger than a few hundred bytes.  Otherwise,
+long as @var{size} is not bigger than a few hundred bytes.  (It is
+reasonable to break up larger buffers.)  Otherwise,
 lines of text output by different processes may end up interleaved on
 the console, confusing both human readers and our grading scripts.