X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=1f10143cfaf9030a977df98e7bb71cae6306acf0;hb=1c2fa3bdca935a36f1fa0a5744ae324d345f884d;hp=7f4bd5c268e1a824abe77e229571c860586dcb51;hpb=157b63dc9764dbecd8dfba88c4c127d1629f6828;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 7f4bd5c..1f10143 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -14,6 +14,10 @@ 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 (and later projects) will probably run faster if
+you use the qemu emulator, e.g.@: via @code{make check
+PINTOSOPTS='--qemu'}.
+
 @menu
 * Project 4 Background::        
 * Project 4 Requirements::