projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
thread: Properly protect 'all_list' around insertion.
[pintos-anon]
/
doc
/
installation.texi
diff --git
a/doc/installation.texi
b/doc/installation.texi
index 0fc7b0673c7ab81ba06ce0ad823ff7b4585daecd..410b3336437b99f7e2f5e25b403c7ae4c225549f 100644
(file)
--- a/
doc/installation.texi
+++ b/
doc/installation.texi
@@
-41,7
+41,7
@@
Required: @uref{http://www.gnu.org/software/make/, GNU make}, version
@item
Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, QEMU}, version
@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
+0.
11
.0 or later. If QEMU is not available, Bochs can be used, but its
slowness is frustrating.
@item
slowness is frustrating.
@item
@@
-79,8
+79,9
@@
described below (@pxref{Building Bochs for Pintos}).
@item
Install scripts from @file{src/utils}. Copy @file{backtrace},
@item
Install scripts from @file{src/utils}. Copy @file{backtrace},
-@file{pintos}, @file{pintos-gdb}, @file{pintos-mkdisk} into the
-default @env{PATH}.
+@file{pintos}, @file{pintos-gdb}, @file{pintos-mkdisk},
+@file{pintos-set-cmdline}, and @file{Pintos.pm} into the default
+@env{PATH}.
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a
@item
Install @file{src/misc/gdb-macros} in a public location. Then use a