3.80 or later.
@item
-Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, qemu}, version
-0.8.0 or later. If qemu is not available, Bochs can be used, but its
+Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, QEMU}, version
+0.8.0 or later. If QEMU is not available, Bochs can be used, but its
slowness is frustrating.
@item
@item
Install scripts from @file{src/utils}. Copy @file{backtrace},
-@command{pintos}, @command{pintos-gdb}, @command{pintos-mkdisk} into the
+@file{pintos}, @file{pintos-gdb}, @file{pintos-mkdisk} into the
default @env{PATH}.
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a
-text editor to edit the installed copy of @command{pintos-gdb}, changing
+text editor to edit the installed copy of @file{pintos-gdb}, changing
the definition of @env{GDBMACROS} to point to where you installed
@file{gdb-macros}. Test the installation by running
@command{pintos-gdb} without any arguments. If it does not complain