projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 425760a) | 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)
commitd86b224cc61a1d228ecf619c56894dbdd4ce985e
tree4ff8762333bb1985e6f39bd5157b5b98024aac17tree | snapshot
parent425760a116e437cf758541d5e3a52e0d6a1e1a47commit | 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