projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69abf67) | 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)
commit12d423a1973d59006cd7ffbf8b71cd7409d04703
treeca85a8ee4c7fb1c10339ae72b97699cc306c0d14tree | snapshot
parent69abf67e46fa36f6db047586a56204dcad4f07b8commit | 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