Update Checkbochs patches.

Emit output intended for Emacs' compile-mode, instead of for cscope.

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

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

Rename putchar_unlocked() so as not to interfere with a GCC builtin.

Use explicit cast to change character type.

Turns out GCC 3.x support -isystem also, they just don't document it.
Use -isystem unconditionally instead of trying to detect support for it.

Detect GCC 3.x versus 4.x and use -I- or -isystem, respectively, to
avoid ugly warnings on 4.x with -I-.

Use "r" (&uint64) instead of "m" (uint64) as constraints on lidt, lgdt
because newer gas gives an error on the latter.

Ignore *.d files.

Basic Eraser support.

Basic Eraser support.

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.

Don't print recursive reboots.

Allow decimal point in percentages.

Fix handling of timeouts.

Change line spacing.

Always print output for failing test cases.

Add timeouts.

Revise.

Add grading system.

Use file count of 20.

Update.

Recommend integrating cache early.

Comment fixes.

Comment fixes.

Unused source file.

Adjust FAQ section naming for consistency.

Install templates.

Get rid of .png rules that are no longer used.

Add texinfo.tex.

Use binutils 2.15, not 2.16, because it doesn't have a bug in the
implementation of lidt and lgdt that bites us.

Add Algorithms::Diff to source tree for systems that don't have it
installed publicly.

Make tests public.  Rewrite most tests.  Add tests.
Major revisions to documentation and assignments.
Implement good solutions to all assignments.
Rewrite pintos script, fsutils, and Pintos command line parsing to
support put, get of multiple files.
New pintos-mkdisk script for what pintos doesn't do anymore.
Make backtrace more friendly.
Major revisions to base file system.
Get rid of names passed to synch primitives.
Break intr_register() into intr_register_ext() and intr_register_int().
Revise bitmap code.
Add console_locked_by_current_thread() and use it.
munmap() has void return value (in lib/user/syscall.c).
Update expected tools versions.
Document use of qemu.
Add realloc() function to malloc implementation.
Add is_user_vaddr() and is_kernel_vaddr(), use in mmu.h.
Add sema_try_down(), lock_try_acquire().
Add memory barrier.
Extend default time slice to 4 ticks and calculate time slices
properly (don't just switch whenever timer_ticks() % 4 == 0).
Fix writing to palloc'd memory without checking against null
in pagedir_create().
Invalidate TLB when we mark pages not accessed or not dirty.
Revise other pagedir code.
Make load() less nasty-looking.

Get rid of unnecessary barrier.  Improve comment.

How to debug user programs with gdb.

Update Intel manual URLs.

Fix line wrapping.

Standard disk assignments.

Use runtime options instead of conditional compilation for MLFQS,
RANDOM_REPLACEMENT, extra credit.  Update documentation, grading.

Clean TAGS, tags targets.

Align comments.

Update message.

Update message.

Get rid of file system "dump" operations because they weren't useful
and occasionally provoked student questions.

Clean better.

Get rid of DEBUG macro, supporting code, and documentation,
because no one ever used it.

In idle(), "sti; hlt" must be atomic or we can waste time waiting for
the next clock tick.
Fix inspired by Linus Torvalds in message
<Pine.LNX.4.58.0504071000450.28951@ppc970.osdl.org>.

Enhance shell.

Enhance shell.

Add ls, mkdir user test programs.

Revise.

Add SUBMAKEFLAGS.
Move < from apply-patch to invocations.

Only need single 0x90.

Always use a custom linker script, to avoid oddities in the default.
Put linker scripts in lib/user.
Eliminate redundant dependency in Makefile.userprog.
Document change.

Add `dirs' target.
Simplify and improve.

Fix comment.

Update to match printf() fix.

Add stdio test.

Improve test program.

Fix parenthesization.

Fix more printf() conformance problems.

Revert to old version because it doesn't break preprocessor
directives.