projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8318a6f) | patch
Get rid of -rndpg option for now, because none of the tests use it.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 3 Jan 2006 16:50:59 +0000 (16:50 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 3 Jan 2006 16:50:59 +0000 (16:50 +0000)
commit0a7ce50c8f6dd074fabe327cdad8502097816f3c
tree29c90340ab9f950e822f3b4fdf6ab9039b0e00d9tree | snapshot
parent8318a6f4996f8aedd6015183bd373232d5a105b9commit | diff
Get rid of -rndpg option for now, because none of the tests use it.
In the future it may make sense to reintroduce it (and test it).
doc/vm.texi diff | blob | history
src/threads/init.c diff | blob | history
src/threads/init.h diff | blob | history
Pintos public repository