projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b7b6bd) | patch
Support newer versions of QEMU, which do not have the -no-kqemu option.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 7 Jan 2010 06:12:36 +0000 (22:12 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 7 Jan 2010 06:12:36 +0000 (22:12 -0800)
commit408d2d36f738068c2363809e1b4742b74a350ad8
tree518b0b503a90a9e2e508e9828c3eb1a2e5e50513tree | snapshot
parent3b7b6bd873c4159a0d3a54ff67832432ac75a045commit | diff
Support newer versions of QEMU, which do not have the -no-kqemu option.

Thanks to David Mazieres for reporting the problem and the fix.
doc/installation.texi diff | blob | history
src/utils/pintos diff | blob | history
Pintos public repository