X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Finstallation.texi;h=410b3336437b99f7e2f5e25b403c7ae4c225549f;hp=f6dfe44f428bd51e59bf6528e935191ca82c87b9;hb=12d423a1973d59006cd7ffbf8b71cd7409d04703;hpb=a03618133f7df0954802a470a4bee7674f7aed45

diff --git a/doc/installation.texi b/doc/installation.texi
index f6dfe44..410b333 100644
--- a/doc/installation.texi
+++ b/doc/installation.texi
@@ -41,7 +41,7 @@ Required: @uref{http://www.gnu.org/software/make/, GNU make}, version
 
 @item
 Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, QEMU}, version
-0.8.0 or later.  If QEMU is not available, Bochs can be used, but its
+0.11.0 or later.  If QEMU is not available, Bochs can be used, but its
 slowness is frustrating.
 
 @item