qemu is much faster than Bochs.

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 49117a502ae1fad37b20f1ba9ff1a77b3cb79c44..08ac31c6a97a0151abd3d8c99434fbb781cb1b87 100644 (file)
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -14,7 +14,7 @@ filesys submission.  If you build on project 3, then all of the project
 @file{filesys/Make.vars} to enable VM functionality.  You can receive up
 to 5% extra credit if you do enable VM.
 
-The tests for project 4 will probably run faster if
+The tests for project 4 will run much faster if
 you use the qemu emulator, e.g.@: via @code{make check
 PINTOSOPTS='--qemu'}.
 

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 8ed52b1e6aca46b28c40c9d4a962ee95ee28f7d5..65caf334a8495cdc3a61de1fe945b85adfa67117 100644 (file)
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -21,7 +21,7 @@ projects 3 and 4, but it is not strictly required.
 
 You might find it useful to go back and reread how to run the tests
 (@pxref{Testing}).  In particular, the tests for project 2 (and later
-projects) will probably run faster if you use the qemu emulator, e.g.@:
+projects) will run much faster if you use the qemu emulator, e.g.@:
 via @code{make check PINTOSOPTS='--qemu'}.
 
 @menu

diff --git a/doc/vm.texi b/doc/vm.texi
index adacb06f2045ceccf2f93b035188ac85d1ae5aa6..53c88cbfc7e9645715f855442f037b6af0f58378 100644 (file)
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -17,7 +17,7 @@ in project 3.
 You will continue to handle Pintos disks and file systems the same way
 you did in the previous assignment (@pxref{Using the File System}).
 
-The tests for project 3 (and later projects) will probably run faster if
+The tests for project 3 (and later projects) will run much faster if
 you use the qemu emulator, e.g.@: via @code{make check
 PINTOSOPTS='--qemu'}.