projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d2db35) | 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)
commit97c0fe728053129a23dfc556e96fdf4000e7017f
treee1be9b8b952c440cc0c4e81096f27d4b4c722e37tree | snapshot
parent5d2db354660571fe33495add5507bf07797f3860commit | 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