Get rid of -rndpg option for now, because none of the tests use it.
In the future it may make sense to reintroduce it (and test it).

Clarification.

Mention that keyboard input does not work with "pintos -v".

Clarification.

Mention that process_wait() can be changed to an infinite loop
temporarily.

Fix formula.

Use -Wdeclaration-after-statement.

Don't need GCC patch anymore because we don't use Intel syntax.

Comments.

Use AT&T syntax instead of Intel.

Don't use -I- because GCC 4.0 complains.
(Can't use -iquote because GCC 3.x doesn't have it.)

Add cast to silence new warning in GCC 4.0.

Use bool vars instead of bits for shift keys.

Revise "Design" description.
Based on Ben Sapp <bensapp@stanford.edu> comments.

Clarify "invalid PID".
Thanks to "Kevin Hart" <kevin.hart@hp.com> for question.

Clarify function comment.
Via Ben Sapp <bensapp@stanford.edu>.

Add "suggested order of implementation" section.

Clarify that multithreaded processes not supported.

Clarify.

Add suggested implementations for filesys syscalls.
Clarify write syscall description.

Clarify that struct intr_frame is on the kernel stack.
Thanks to "Kevin Hart" <kevin.hart@hp.com> for the question.

Clarifications.
Pointer to instructions for debugging user programs.

Allow .png as alternate for ASCII art.

Clarify that the idle thread does not receive recent_cpu.

Wording.

It's okay to use a single sorted queue for MLFQS.

Suggest order of operations for recent_cpu calculation.
Thanks to "Jeff Sun" <precisely@gmail.com> for report.

Suggest 17.14 instead of 21.10 because the extra precision may be
necessary for some implementations.
Thanks to Matt Page <mpage@stanford.edu> and "Jeff Sun"
<precisely@gmail.com> for the suggestion.

Explain why it sometimes looks like pass() fails.

Make backtrace chop long filenames to just the last few characters.

Wording.

Add CVS Locking to menu.

Ignore pintos.text.

Be slightly more lenient.

Ignore *.d.

Clarifications.
Add FAQ for how to run tests.

Add summary of scheduler.

Comment idle thread more thoroughly.
Thanks to "Kevin Hart" <kevin.hart@hp.com> for asking questions.

Fix description of rounding to nearest in fixed point to take into
account negative numbers.  Thanks to Nishit Sureshchandra Shah
<nishit@stanford.edu> for the correction.

Clarify that adding code where interrupts are already disabled may be
necessary.

Wording clarifications.

Talk about CVS locks.

Wording clarifications.

Clarifying comment.

Add comment that gdb and pintos have to run on the same machine.

Mention that aklog and/or logging out and back in may be necessary to
gain new group membership.

Revising "Setting Up CVS" section.
Need to `fs setacl' $HOME also.
Add summary of commands.

Add plaintext target.

Check for the compiler's availability early in the `make' run, in
Make.config, and give a warning that points to the documentation if we
can't find it.
Also, modify other Makefiles so that Make.config is only included
once, so that the message is only printed once.

Add some clarifications to address question from "Kevin Hart"
<kevin.hart@hp.com>.

Don't use ! in shell--Solaris sh doesn't support it.

Call qemu with "-nics 0" to avoid calling any network initialization
script.

Revert Intel-style assembly back to AT&T-style.
The Intel-style assembly found too many bugs in GAS
and the GAS folks actually changed behavior on us
for lidt, lgdt.

Fix fencepost error in strstr().
Thanks to Bryan Branstetter for bug and fix.

Fix typo.

Add another possible ordering of lines.
Needed by project submitted by Mike Brown <mbrown@vmware.com>.

Fix bug reported by Mike Brown <mbrown@vmware.com>, in which a
secondary device was always detected on an IDE channel that had a
primary device.  Both qemu and Bochs report error/lbam/lbah register
values that are invalid for a device that exists in such a situation,
but GSX Server reports 1/0/0, which indicates a valid device.
Fortunately, GSX Server does report a useful value in the status
register, so the bug fix adds a check for that value also.

Add CVS instructions.

Allow disks to come from build/ directory as well as current
directory, by default.

Eliminate race condition in timer_print_stats() found by Sorav's
Checkbochs tool.

Add comment.

Clarify use of thread_get_nice() and thread_set_nice().
Thanks to "Bruce Schechter" <bruce@schechter.com> for pointing the
ambiguity.

Reword paragraph.

Fix Mendel's name.

Fix bug that shifted mlfqs-recent-1 output by 1 second.
Thanks to Atif Faheem for reporting this bug.

Revise.

Clarify that scheduler data updates are synchronous with the timer.

Fix cond_wait prototype.  Thanks to ASIF Erayath Thekke Valappil
<etv@stanford.edu>.

Initialize start_time.  Thanks to Ankur Goyal <angoyal@stanford.edu> .

"thread_sleep" -> "timer_sleep"

Fix summary table.  Thanks to leith <eleith@stanford.edu>.

Make <STRONG> use boldface.

Be specific about `nice' range.

Emphasize backquotes.
Put class bin dir at beginning of path.

Fix wording in priority donation section.

Increase mmap-shuffle, page-shuffle timeouts further.

Check for no warnings in grade report.

Make page-merge-seq, page-merge-par even longer.

Add priority-donate-nest.

Fix stupid bug.

Check that `grade' reports are perfect.

Use temporary file instead of reference to string
on open() because old Perl doesn't support the latter.

Print message for perfect score.

Fix rubric files.

Increase syn-read timeout even more.

Increase syn-read timeout.

Deal with `wc -l' putting spaces in the output.

texi2html doesn't support @verbatiminclude, so kluge it.

Shorten lines.

Untabify to fix Texinfo expansion.

Update spacing.

Add reference to mcp example.

Add some more examples.

Use qemu where appropriate and available.
Use $(MAKE) consistently.

Increase page-linear timeout.

Update for modified test.

Fix releasing of free inode blocks.

Increase time-outs for page-shuffle, mmap-shuffle.

Fix file name.

Don't print output for triple faults.