projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d825f2) | 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)
commite9fd665beb814115e19fdbcd33cddd8a299c6960
treeaf31e8f00921c41a8fdc8434c7cecf545e996503tree | snapshot
parent1d825f27ae0cb3a11d968d4008c17cd7220b6c99commit | 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