X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=59b198abdda810745fd6c5d950a5ceb8723c6378;hb=09fdbd36a6d12efd53edd764f3176d3fc3bad284;hp=ff98074f8de198ea6465271848f573e7d5c73d7d;hpb=d07d499dd6655d15b274bb7713138dc9641a1fdb;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index ff98074..59b198a 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -661,8 +661,12 @@ when the process exits or is terminated.
 
 File descriptors numbered 0 and 1 are reserved for the console: fd 0
 is standard input (@code{stdin}), fd 1 is standard output
-(@code{stdout}).  These special file descriptors are valid as system
-call arguments only as explicitly described below.
+(@code{stdout}).  The @code{open} system call will never return either
+of these file descriptors, which are valid as system call arguments only
+as explicitly described below.
+
+Each process has an independent set of file descriptors.  File
+descriptors are not inherited by child processes.
 
 Consider implementing this function in terms of @func{filesys_open}.
 @end deftypefn