X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=8ed52b1e6aca46b28c40c9d4a962ee95ee28f7d5;hb=1c2fa3bdca935a36f1fa0a5744ae324d345f884d;hp=655c5be8691dcb0bf6e167283c7b9c427de02c76;hpb=157b63dc9764dbecd8dfba88c4c127d1629f6828;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 655c5be..8ed52b1 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -20,10 +20,9 @@ assignment.  The ``alarm clock'' functionality may be useful in
 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.@:
-via @code{make check PINTOSOPTS='--qemu'}.  The qemu emulator is
-available only on the Linux machines.
+(@pxref{Testing}).  In particular, the tests for project 2 (and later
+projects) will probably run faster if you use the qemu emulator, e.g.@:
+via @code{make check PINTOSOPTS='--qemu'}.
 
 @menu
 * Project 2 Background::