From: Ben Pfaff 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?a=commitdiff_plain;h=dc9d1a1858d25d7d5ef64875cf79bce7b2289d84;p=pintos-anon 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