From: Godmar Back <godmar@gmail.com>
Date: Fri, 14 Nov 2008 06:13:54 +0000 (-0500)
Subject: added section "Accessing User Memory", including explanation of why
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d86b224cc61a1d228ecf619c56894dbdd4ce985e;hp=d86b224cc61a1d228ecf619c56894dbdd4ce985e;p=pintos-anon

added section "Accessing User Memory", including explanation of why
pinning is necessary
added FAQ for why stack growth may cause page faults above stack pointer
minor edits to other sections
---