projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a78889) | patch
Add "real-time" option to pintos utility and document its usage.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 10 Dec 2004 06:24:57 +0000 (06:24 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 10 Dec 2004 06:24:57 +0000 (06:24 +0000)
commita1f21ee888bd397c0d256ebd1db4caaf107f40ab
treecfca52fee747bccfff8ce1d4ca991959eb05ac74tree | snapshot
parent4a78889ac2a99d515119aa599d640fc81e9ba833commit | diff
Add "real-time" option to pintos utility and document its usage.
TODO diff | blob | history
doc/filesys.texi diff | blob | history
doc/threads.texi diff | blob | history
src/utils/pintos diff | blob | history
Pintos public repository