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.
 
 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
 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