X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=f70957f6617ba4a39f32b6a9f7129adb0214d620;hb=e5a71e1b767082687454f54f3c72b53665101d74;hp=32934965f4c44cc805de4b930ea4f56be4436ce2;hpb=b8bdde89e98ede92baacab773a94dbfb1c1b0701;p=pintos-anon

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