Clarify that an ELF loader is provided.

Via Ben Sapp.

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 71b084ac3b02106877626dcbea6165112f193a3b..e4e6098b5e8f77acdaf691b967af34d6cc0ef89d 100644 (file)
--- 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