projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fixed left-over, now-wrong comment about how decrease in numeric priority means incre...
[pintos-anon]
/
doc
/
vm.texi
diff --git
a/doc/vm.texi
b/doc/vm.texi
index 53c88cbfc7e9645715f855442f037b6af0f58378..be9980800808b758fbae9fbe95ef67fbb5a56fa1 100644
(file)
--- a/
doc/vm.texi
+++ b/
doc/vm.texi
@@
-17,10
+17,6
@@
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}).
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 run much 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::
@menu
* Project 3 Background::
* Project 3 Suggested Order of Implementation::