From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 4 Jan 2006 19:52:43 +0000 (+0000)
Subject: Clarify that an ELF loader is provided.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=dc9d1a1858d25d7d5ef64875cf79bce7b2289d84

Clarify that an ELF loader is provided.
Via Ben Sapp.
---

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