projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f3e964) | patch
added section "Accessing User Memory", including explanation of why
authorGodmar Back <godmar@gmail.com>
Fri, 14 Nov 2008 06:13:54 +0000 (01:13 -0500)
committerGodmar Back <godmar@gmail.com>
Fri, 14 Nov 2008 06:13:54 +0000 (01:13 -0500)
commit25c229287302f23fc93eedfca0608fdf671e8afd
treed121189fb1b93ebcc0dcfaa8bbcd119eee29da4btree | snapshot
parent8f3e964987f0a00943e7e5261de250741695fb28commit | diff
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
doc/vm.texi diff | blob | history
Pintos public repository