From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 27 Oct 2004 03:13:45 +0000 (+0000)
Subject: Clarifications.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=8fa312febd3cbb63e0d2a45044be614f062f9690

Clarifications.
---

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 3293496..f70957f 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -520,7 +520,8 @@ isn't properly set up yet, this causes a page fault.
 @samp{system call!}.}
 
 Every reasonable program tries to make at least one system call
-(@func{exit}) and most programs make more than that.  The default
+(@func{exit}) and most programs make more than that.  Notably,
+@func{printf} invokes the @code{write} system call.  The default
 system call handler just prints @samp{system call!} and terminates the
 program.  You'll have to implement 2-2 before you see anything more
 interesting.  Until then, you can use @func{hex_dump} to convince