Fix some new printf bugs.

Add comments.

Reorganize.
Add strnlen().
Add comments.
Remove nonstandard types in parse_conversion().
Use 4-digit grouping for hexadecimal with %'.
Add rest of ctype functions.

Add comments.
Add assertions.
Make dir_destroy() do nothing on null pointer.
Rename FILENAME_LEN_MAX to NAME_MAX.
Make dir_add() fail too-long names.
Free structure on failure in filehdr_allocate().
Implement filehdr_print().
Add copyright notice to filesys.c.
Change %L to %ll--it's standard!

Add copyright notice to synch.h.
Reuse list_elem in struct thread for semaphore's wait list.
Add comments.

Document strtok_r().

Add comments.

Add hash.c to lib sources (!).

Add comments.

Comments.

Reorganize, add comments.

Add list_head(), list_tail().

Add comments.

Improve comment.

Reorganize.

Add comments.
Rename bitmap_storage_size() as bitmap_file_size(), make conditional
on FILESYS.

Destroy PT pages in addrspace_destroy().

Reorganization, comments.

Update.

Source file origins.

Fix leak.  Add comments.  Restructure slightly.

Change --gstabs+ to --gstabs in ASFLAGS to support older assemblers.

Add comments.

Make linking of start.S less brittle.

Add comments.

Don't destroy current thread's pagedir before activating a different
one (!).
thread_wake() needs to run with interrupts off.

Comments.

Activate the base page directory if pagedir_activate() is passed a
null pointer.

Redo and improve thread scheduling startup.
In the process make it possible to use locks before the preemptive
scheduler is turned on.
This lets us add locking to the page allocator.

Rewrite to suck slightly less.
Add comments.

Add comments.

Actually initialize IDT in intr_init (!).

Enable interrupts after reading CR2 in page fault handler.

Add comments.

Remove unneeded stuff.

Add page fault skeleton.

Move user exception support into userprog.

Only call addrspace_destroy() if USERPROG.

Improve code.

Set CR0_WP in CR0.

Misc cleanups in init, thread.

Add assert.

Break TSS out of GDT.

Break GDT, TSS out of init.c, mmu.h.

Remove lots of unused #define's from mmu.h.

Clean up interrupts.[ch].

Add comments.

Make interrupt.h names more regular.

Integrate struct addrspace into struct thread.

Clean up threads.

s/disk_sector_no/disk_sector_t/g

Fix PRDSNu.

Tweak.

Dump interrupt frame info on user fault.

Improve comments.

Clean up disk layer.

Update .cvsignore.

Initial version.

Add fsutil.c.

Clean up threads.

Use __attribute__ directly.

Add LOADER_CMD_LINE_LEN.

Implement command line arguments.

Allow user to provide random seed to random_init().

Add atoi().
Add a hex_dump() argument that specifies whether to include ASCII.
Mark vsnprintf(), vprintk() with PRINTF_FORMAT.

Debug.  Add bitmap_dump().

Add filesys_list(), filesys_dump().

Add dir_list(), dir_dump().

Add DEBUG() macro for debugging that can be turned on and off with a
command line option, and associated support.
Rename panic() to PANIC().  Update references.
Rename backtrace() to debug_backtrace().

Clean up threads.c.

Clean up threads.c.

Clean up a little.

Update comment.

Mark thread_start() NO_RETURN.

Small loader cleanups.

Check all return values.

Use Linux kernel trick of giving an .lds file a .S extension to get it
preprocessed.

Don't include malloc.h.

Add some missing dependencies.

Update comments, put LOADER_PHYS_BASE back at 3 GB.

Don't use <string.h>.

Get rid of backdoor.

No FILESYS_STUB anymore.

Use lib.h instead of <string.h>.

Base on loader.

Make loader use constants.

Now kernel.lds.in is preprocessed to get kernel.lds.

Declare argc, argv.

Split RAM initialization into function.

Add strtok_r().

Produce kernel.lds from kernel.lds.in.

Add vm subdirectory.

Filesys stubs no longer wanted.

Add new filesys files.

Adapt to new file interface.

Move filesys_init into main_thread.

Add strcmp(), asserts.

Add bitmap_read(), bitmap_write().

Working filesystem.

Fix disk_write(): interrupt fires *after* write complete, not before.