Rename "segment table" to "supplemental page table".

Now that qemu is available on Solaris, don't talk about it being
Linux-only.

Replace get_user(), put_user() routines by versions that don't do
"copying", which scares off students because they think of copying as
inefficient.

Don't refer to user memory access as "copying".  Some of the students
don't see it that way.

Proofreading.

Major revisions to documentation.
Rewrite VM assignment entirely, adding implementation order and
terminology suggested by Godmar Back.
Make the terminology used elsewhere agree.
Rename "Tour" to "Reference Guide" and move to appendix.
Add "Virtual Addresses" and "Page Tables" sections to reference guide.
Rename "References" to "Bibliography" (to avoid confusion) and move to
end of documentation.
Get rid of option to eagerly load partial pages.
Get rid of fullpage.lds linker script, so rename the normal one from
normal.lds to user.lds.
Break mmu.h into vaddr.h and pte.h.
Add "mcat" to examples as a simpler example of mmap.

NB: Any webpages that reference chapters in the documentation will
need to be updated, because the chapters have been reordered.

Don't pass "-nics 0" to qemu, because this option name has changed
from version to version and it's just not worth it.

Improve comments.

Fix line wrapping.

Fix comment.

Improve comments.

Try to make students think about performance of scheduler dispatching.
Based on suggestion from Godmar Back.
Also, minor wording improvements.

Improve wording.

Explicitly state that mmap'd files must be lazily loaded.
Don't suggest to implement executables as a special case of mmap.

Invert the priority scheme, so that PRI_MIN is now the lowest priority
and PRI_MAX is now the highest priority.  This should reduce student
confusion (and at the same time subtly frustrate attempts to resubmit
work from previous quarters).

The lock functions don't really need to disable interrupts themselves,
since they're protected by the semaphore.
Thanks to Godmar Back for reporting this.

Ignore *.info*

Fix typo in comment.

Fix wrong explanation of sleeping in an interrupt handler.
Thanks to Godmar Back for reporting this bug.

Improve comment.

Remove unnecessary test for switching from null current thread.
Thanks to "Waqar Mohsin" <wmohsin@gmail.com> for reporting this.

Revise documentation of debugging tools.
Integrate Godmar's description of his macros and one of
his sample GDB debugging sessions.
Talk about pintos-gdb.
Talk about debugging triple faults with the Bochs triple-fault patch.

Break load_segment() into two functions for increased clarity.
Don't read anything from disk if p_filesz == 0.
Thanks to Godmar for suggesting these changes.
Also, enforce read-only page protection out-of-the-box.

Fixes for reference solutions to follow.

Add patch to make a triple fault break to the gdb stub if active.

Don't read anything from the disk for a segment with p_filesz == 0.
Thanks to Godmar Back for reporting this bug.

Style.

Fix for Bochs 2.2.6.
(I think this might actually be a bug in Bochs, though.)

Fix clock: line in bochsrc.

Utility for invoking the proper GDB and loading Pintos macros.

Add GDB macros written by Godmar Back.

Wordsmithing.

Typo.

Clarify that fixed-point.h is a new file in the reference solution.
Thanks to Megan Anneke Wachs <wachs@stanford.edu> for the question.

Comment.
Thanks to "Vincenzo Di Nicola" <dinicola@stanford.edu> for the question.

Clarify parallelism requirements.
Thanks to Alicia Chen <achen530@stanford.edu> for the question.

Allow PINTOSSIM environment variable to select default simulator.

Remark that ^ is xor.
Thanks to Jennifer G <jgee@stanford.edu> for the question.

Add section heading for Debugging User Programs.
Thanks to "Huey Kwik" <kwik@stanford.edu> for the question.

Clarify directive not to modify file system.
Thanks to "JaJ" <joshi83@stanford.edu> for the question.

Clarify comment.
Thanks to Nathan Marz <nathanm@stanford.edu> for the question.

Clarify need for virt-to-phys translation table.
Thanks to Nico R Benitez <nicorb@stanford.edu> for the question.

Make it clear that the tour is not soon forthcoming.
Thanks to "M Payne" <m@m.com> for the question.

Clarify how termination treats file descriptors.
Thanks to Nathan Marz <nathanm@stanford.edu> for the question.

Clarify page fault handler for get/put_user().
Thanks to Poornima Vijayashanker <pv6@stanford.edu> for question.

Warn if timeout used with debugger.
Thanks to Alicia Chen <achen530@stanford.edu> for question.

Make explicit that open doesn't return fd 0 or 1.
Make independence of fds across processes explicit.
Thanks to Ryan Seth Propper <rpropper@stanford.edu> for question.

Add comment to explain why we don't free initial_thread.
Thanks to Sunit Pal <sunit@stanford.edu> for the question.

Add references to tour of pintos.

Rename putchar_unlocked() to putchar_have_lock() to avoid GCC warning.

Explain new patches.

Now it actually works.

Stupid me.

Solaris patch.

Make it more robust.
Apply Solaris patch, but only on Solaris.

Add another necessary patch.

Reverse patches (oops).

Fix typos.

First stab at Bochs 2.2.6 upgrade (not yet tested).

Ignore setitimer-helper.

fixed typo in mmap example

fixed typo.

Make timeouts based on CPU time.

Add question.

Test commit.

Fix type of sector_idx in inode_write_at().
Thanks to Ryan Seth Propper <rpropper@stanford.edu> for reporting this
bug.

-u option should be -ul.
Thanks to Josh Wiseman <joshwise@stanford.edu> for reporting this bug.

PHYS_ADDR should be PHYS_BASE.
Thanks to "Ryan Seth Propper" <rpropper@stanford.edu> for pointing it
out.

Attempting to pass command-line arguments before they've been
implemented will fail.
Thanks to Josh Wiseman for pointing this out.

Clarify when enable_mlfqs gets set.
Thanks to "Yi Lang Mok" <yilangmok@stanford.edu> and others for
pointing this out.

Clarify when enable_mlfqs gets set.
Thanks to "Yi Lang Mok" <yilangmok@stanford.edu> and others for
pointing this out.

Update Intel architecture guide references to latest.
Thanks to Josh Wiseman <joshwise@stanford.edu> and Godmar Back
<godmar@gmail.com> for pointing this out.

Add examples of how to iterate and remove elements from a list.
Pointed out by Ben Sapp.

Clean up temp files on signal.

Fix priority donation example.
From Godmar Back's TA.

Typo fixes found by Godmar Back's TA.

Add "panic: action=fatal" to bochsrc.txt to avoid a potentially
confusing dialogue on control+c or timeout.
Via Godmar Back.

Fix comment.

Remove -Wdeclaration-after-statement because it's not supported by GCC
(GCC 3.4) on the elaines.  Ugh.

Add explanatory comments to vm tests.

Add explanatory comments to filesys tests.

Add explanatory comments to vm tests.

Formatting.

Add explanatory comments to vm tests.

Add explanatory comments to userprog tests.

Remove file that was not used.

Add explanatory comments to threads tests.

Elaborate on how to get the user program's stack pointer.
Suggested by Godmar Back.

Don't check return value of write().

Clarify question.
Via "Bruce Schechter" <bruceds@stanford.edu>.

Clarify stack limit.

Clarifying comments.
Via "Amit Nagpal" <anagpal1@stanford.edu>.

Helpful comment.
Via Megan Anneke Wachs <wachs@stanford.edu>.

Add additional disclaimer to "diffstat"s.

Typo in comment.

New test for growing the stack using a system call.
From Godmar Back.

Grammar.
From Godmar Back.

Mention that other aliases should only arise from sharing or bugs.

Clarify that swap needs to be written when needed, not before.

Add clarifying comment.
Via Bruce Schechter.

Note about testing.