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)
commit2b285747143381620ebf4fb37df37d90fbf25705
tree506c0e1fe4883f7e06d220c5c3e2eaa43d4414ac
parentaa611970d5cbcfd5b0170c03effd74c2cab05708
Add "real-time" option to pintos utility and document its usage.
doc/filesys.texi
doc/threads.texi
src/utils/pintos