Make the default simulator qemu for project 2...4,

[pintos-anon] / doc / vm.texi

diff --git a/doc/vm.texi b/doc/vm.texi
index 53c88cbfc7e9645715f855442f037b6af0f58378..be9980800808b758fbae9fbe95ef67fbb5a56fa1 100644 (file)
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -17,10 +17,6 @@ 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 run much faster if
-you use the qemu emulator, e.g.@: via @code{make check
-PINTOSOPTS='--qemu'}.
-
 @menu
 * Project 3 Background::        
 * Project 3 Suggested Order of Implementation::