X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=e4e6098b5e8f77acdaf691b967af34d6cc0ef89d;hb=dc9d1a1858d25d7d5ef64875cf79bce7b2289d84;hp=71b084ac3b02106877626dcbea6165112f193a3b;hpb=58bfb6e07301c84e21ef9de2aa5fb38546098401;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 71b084a..e4e6098 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -251,7 +251,8 @@ programs.  The @file{Makefile} in this directory
 compiles the provided examples, and you can edit it
 compile your own programs as well.
 
-Pintos loads @dfn{ELF} executables.  ELF is a file format used by Linux,
+Pintos can load @dfn{ELF} executables with the loader provided for you
+in @file{userprog/process.c}.  ELF is a file format used by Linux,
 Solaris, and many other operating systems for object files,
 shared libraries, and executables.  You can actually use any compiler
 and linker that output 80@var{x}86 ELF executables to produce programs