X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;fp=doc%2Fvm.texi;h=0ea3ee9eba50ded50c97b8a5aa9a5e2fedc0e4ed;hb=1c2fa3bdca935a36f1fa0a5744ae324d345f884d;hp=de9010519e6dfd97713f93f441db49f89508d3ab;hpb=157b63dc9764dbecd8dfba88c4c127d1629f6828;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index de90105..0ea3ee9 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -17,6 +17,10 @@ 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
+you use the qemu emulator, e.g.@: via @code{make check
+PINTOSOPTS='--qemu'}.
+
 @menu
 * Project 3 Background::        
 * Project 3 Suggested Order of Implementation::