From dc9d1a1858d25d7d5ef64875cf79bce7b2289d84 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 4 Jan 2006 19:52:43 +0000 Subject: [PATCH] Clarify that an ELF loader is provided. Via Ben Sapp. --- doc/userprog.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.30.2