From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 26 May 2006 19:50:57 +0000 (+0000)
Subject: qemu is much faster than Bochs.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=0e3b7c61359944fe6282f783a7bc5f3c7b78790a

qemu is much faster than Bochs.
---

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 49117a5..08ac31c 100644
--- 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 8ed52b1..65caf33 100644
--- 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 adacb06..53c88cb 100644
--- 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'}.