projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16fffad) | patch
Make timeouts based on CPU time.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 15 Mar 2006 22:15:40 +0000 (22:15 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 15 Mar 2006 22:15:40 +0000 (22:15 +0000)
commitbb7e71ecaa84d1dc223e5372e804ba6c9d5bfb00
tree31faabc12b64b1a3b31130028cf1b740faa44383tree | snapshot
parent16fffad5ffbee3478843e932063dd6c2b0ee33b2commit | diff
Make timeouts based on CPU time.
src/utils/Makefile [new file with mode: 0644] blob
src/utils/README [new file with mode: 0644] blob
src/utils/pintos diff | blob | history
src/utils/setitimer-helper.c [new file with mode: 0644] blob
Pintos public repository