Add -s to LDFLAGS to strip output binaries.

Comments.

Work on grading.

Fix typo.

Update FAQ.

Add test scripts.

Fix a few details.

Spelling fix.

Fix stuff.

Add more tests.

Add 14 (page fault) to named exceptions.
(Why wasn't this here before?)

Remove patch against test.c

Should iterate 10 times not 5.

Fix race condition.

Add some grading test programs.

Restore verbatim.
Fix table.

Implement verbatim as equivalent to example.

Redo menu.

Typo fixes.

Add p1-3 solution.

Punctuation fix.

Debugging by infinite loop.

Add and refine FAQ answers.

Add `install' target.

Neither of these tests works under MLFQS.

Adjust wording of "static priority" comment.

Make sure that we're not being tested with MLFQS on.

Mention that GCC reorders statements.

Add volatile to asm statement in intr_get_level(),
otherwise GCC will assume that two calls to this function can be
optimized into one, even across asm("sti") or asm("cli").

Fix logic problem.

Fix compile problems.
Thanks to Grant Patterson <grantp@stanford.edu>
for reporting the problem.

Fix compile problems.

Clarify.

Comments.

Remove unneeded list_remove().

Use 115.2 kbps instead of 9600 bps.

Update docs.

Add FAQ for making p1-1 work okay.

Check that the serial rate is reasonable.

Make freeing pages not require the pool lock,
so that schedule_tail() may legitimately call palloc_free_page().
Incidentally make bitmap mark/reset/flip atomic.

Fix wording.

timer_sleep() need interrupts on.

Fix missing right paren.

Comment.

Explain why `break schedule' might not work and offer workarounds.

Fix comments.

Credit Mendel.

Fix URLs.

Fix typos.

Fix printf() format specifier.

Move TODO.

Update docs.

Reorder functions.

Comments.

%zd -> %zu

Update docs.

Update docs.

Comments.

Comments and a bit of initialization order cleanup.

Update.

Beginnings of tour.

Mention style for references.

Update.

Update docs.

Add John Rector.

Update.

Add -ul option for limiting user pool size.

Bug fix.

New file.

Comments.

Update.

Update docs.

Add PTSPAN.
Comments.

Bug fix.

Bug fixes.

Comments.

Update.

Test for linked list implementation.

Fix bugs.

Comments.
Make print_stats() message consistent with others.

Fix name.

Not really relevant, removed.

Remove Intel reference manuals.

Print statistics at power off.

Fix texi2html options.

Add .eps files because most people don't have jgraph,
useful as it is.

Update docs.
Integrate texi2html into source tree.

Comments.

Update docs.

Update docs.

Ignore more files.

Update docs.

Change -nv to -v, -ns to -s, for consistency.
Remove fixed limits on make-disk.
Make -m same as --mem(ory).

Add some more features to pagedir.

Update comments.

Turn off assertions when running in the kernel.

--enable-4meg-pages not needed after all

Map first 64 MB of memory, not just 4 MB.

Add --enable-4meg-pages to configure

Fix bitmap_scan_and_flip() calls.