Improve tags targets.

Implement (u)intmax_t in printf().
(How'd I forget that?)

Add VM makefiles.

Update.

Comments.
Remove pagedir_clear_page().
Add assertions to pagedir_set_page().

Cleanup.

Remove unneeded #include.

Merge new_thread() into thread_create().

Support jitter feature.

Add jitter feature to Bochs.

Comments.

Update docs.

Rename addrspace to process.

Update.

Make pagedir_destroy(NULL) a no-op.

Make processes responsible for loading themselves.

Make page alignment optional.

Comments.

Update docs.

Update docs.

Update docs.

Improve hex_dump().

Update.

Introduce PID_ERROR as an invalid exec return value.
Make shell example check for invalid join return,
because passing an invalid value to exec is allowed to kill the
process.

Ignore bochs return code, it's not useful.

Enable ata1 under Bochs if hdc or hdd is needed.

Add some `const' qualifiers.

Change interface of addrspace_load() to provide initial stack pointer.
destroy_thread() doesn't really need thread in dying state.

Remove `name' from lock because it duplicates its member sema's name.

Comments.

Add const to various functions.

Swap names of power_off and do_power_off().
Put now-power_off() into init.h

Add initial_size argument to create syscall.

Add putbuf().

Add -Wsystem-headers.

Fix comments.

Fix call to create().

Add dummy file to ensure that lib/user is kept in CVS.

Revise makefile structure.
Add user tests.

Update docs.

Add instructions for compiling and modifying Bochs.

Explain how to use patch.

Explain how to use patch.

Comments.

Improve description.

Syscall handler doesn't expect to see return address on stack,
so pop it off before invoking interrupt.

Pass return code from main() to exit().

Update.

Update docs.

Only destroy pages up to PHYS_BASE.

Bug fixes.

Clarify strtok_r() description.

Suggested solution for problem 1-2 Join.

Add threads tests.

Add thread priority support.

Update docs.

Move pagedir stuff into userprog.
Move flags into their own header.

Make thread_unblock() on a thread that isn't blocked an error.

Invent tid_t data type and use it in many places where we current use
struct thread *.
Remove thread_name() argument.

Merge 16550a.h into serial.c.

Update.

Update docs.

backtrace utility

Reorder.
#include <stdint.h>

Skeleton for students to use.

Update.

Include constants.h into all source files with a -include directive.

Update docs.

Add -u to usage message.
Make usage power off.
Print kernel command line at start up.

Update docs.

Update docs.

Update docs.

Update docs.

Fix serial device handling.

Update.

Add Solaris serial support.

Initial intro.

Work on intro.

Foo.

Add rule for refreshing from Makefile.build.

Improve flexibility.

Remove obsolete vmware directory.

Remove obsolete bochs directory.

No longer needed.

Improve VMware GSX Server support.

Support VMware Workstation.

Make it work.

Use cp instead of ln.

Detect x86 systems, use the native tools.

Change -cp option to -ci ("copy in").
Add -co option ("copy out").
Add filesys_done() for closing up filesystem shop.
Add -q option for powering off.

first try

Add gdb to cross-compiler installation instructions.

Bochs patches for Solaris.

Add instructions for building cross-compiler.

For some reason i386-elf-as doesn't like 512/4, so replace it by 128.
Actually, replace it by 256 and use insw instead of insl.

Use __SIZE_TYPE__ for size_t, __PTRDIFF_TYPE__ for ptrdiff_t.

Use `z' modifier to printf size_t.

Use i386-elf-* tools by default.

Use symbolic links instead of hard links, because hard links don't
work between directories on AFS.

Remove FIXME that I fixed in the sources.