diff --git a/contrib/bochs/README b/contrib/bochs/README
index 57c6f052..e0e88032 100644
--- a/contrib/bochs/README
+++ b/contrib/bochs/README
@@ -25,9 +25,10 @@ To get bochs running is fairly simple:
 
 3.  Configure bochs with
       pushd bochs
-      ./configure --enable-all-optimisations --enable-pci --enable-pnic \
-                  --enable-debugger --enable-magic-breakpoints \
-		  --enable-disasm --enable-show-ips --enable-ne2000
+      ./configure --enable-all-optimisations --enable-show-ips \
+		  --enable-cpu-level=6 \
+		  --enable-pci --enable-pnic --enable-ne2000 \
+                  --enable-debugger --enable-disasm
       popd
 
 4.  Build bochs:
diff --git a/contrib/bochs/README.qemu b/contrib/bochs/README.qemu
index ee20eec4..2582f62b 100644
--- a/contrib/bochs/README.qemu
+++ b/contrib/bochs/README.qemu
@@ -58,7 +58,6 @@ To get qemu running is fairly simple:
       popd
 
 9.  Start qemu
-      export SDL_VIDEO_X11_DGAMOUSE=0
       ./qemu/i386-softmmu/qemu -L qemu/pc-bios \
 			       -net nic,model=rtl8139 -net tap,ifname=tap0 \
 			       -boot a -fda ../../src/bin/rtl8139.pdsk