Improve.

Improve.

Improve.

Improve.

Improve.

Improve.

Allow cpp to remove comments when producing kernel.lds.s.
This allows // comments to be used.

Comments.

Clarify.

Revert to previous version.

Improve run-tests.
Edit the grading result files.

Document tab width.

Warn that coding style costs points.

ASSERT should evaluate to an expression not a statement.

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.

Add more tests.

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

Should iterate 10 times not 5.

Add some grading test programs.

Restore verbatim.
Fix table.

Implement verbatim as equivalent to example.

Redo menu.

Typo fixes.

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.

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 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.