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.

Rewrite filesystem to support Unix "delete" semantics.
Also, make objects responsible for their own allocation for better
abstraction.
Rename filehdr to inode.
Zero out files at creation time.
Introduce "kernel" and "user" pools as a band-aid for user memory
pressure on kernel.

Don't assume 4 kB pages.

Make the bitmap responsible for allocation.

Change "stddef.h" to <stddef.h>

Don't palloc_free() the initial thread, because it's not allocated
from a palloc pool.

Add magic numbers for safety.
Fix behavior on free(NULL).

Flush serial device on panic.

Needs #include <console.h>.

Introduce "kernel" and "user" pools as a band-aid for user memory
pressure on kernel.

Add MLFQS credit.

Describe multi-level feedback queue scheduler.

Work on projects.

Make less sensitive to slow processors.

Update initialization order.

Do console locking.
Rename printf.c to console.c to better explain its function.
Move puts() from lib to lib/{user,kernel} so it can take console lock.

Do console locking.
Rename printf.c to console.c to better explain its function.
Move puts() from lib to lib/{user,kernel} so it can take console lock.

Format null pointers as 0x0.

Turn off interrupts on output to lock out interrupt handlers that
might want to write to the console.

Call thread_yield() in timer_sleep() if interrupts are on.

Only poll on output if the txq is full and interrupts are off, and
only one byte's worth.

Declare start symbol for linker's use.

Really make it safe to call printf() from any context.

Comments.

Add a little demo/test code for the `threads' project.

Increase queue size to 64.

Rewrite loader, improving comments greatly.
Also: load GDT relative to at LOADER_PHYS_BASE.

Use ln -f for linking Makefile into build dir.

Add timer_sleep() that takes an argument in timer ticks.
Remove timer_msleep(), timer_usleep(), timer_nsleep()
and add corresponding timer_ms2ticks(), timer_us2ticks(), and
timer_ns2ticks() to make the conversions.

Add comment.

Add some prototypes.

Rename run_queue to ready_list.

Add new syscall stubs.

Add syscalls.

Add comment.

Add some former CS140 TAs.

Initial projects.

Add `projects' files authors.

Allow students to easily disable VM.

#error if TIMER_FREQ too high.
Configurable time slice.
Make timer_msleep() round up to nearest timer tick.

Add TAGS, tags targets.

Specifications.

Update name to Pintos.

Fix license: we don't want export clause.

Some bochs/qemu tools.

Initial list.

Implement keyboard device.

Move serial interrupt queue into new file intq.c.
Remove serial receive code.

Add tolower(), toupper().

Prepare to remove serial receive path.

First stab at interrupt-driven serial.
Receive doesn't work.

Default to INTR_OFF for unregistered interrupts.
Add assert.
Add comment.

Add comment.

Add isblank().

Comment.

Fix up header guards.

Don't want -DKERNEL_LOAD_PAGES on every kernel.bin prereq.

Fix up header guards.

Remove unwanted files.

REmove unwanted files.

Rename printk() to printf().
Create user library by separating kernel library into kernel-specific
and kernel-independent bits.
Break up lib.c by standard header.
Break up lib.h by standard header.
Write our own standard headers for <stdarg.h>, etc.,
and stop using compiler include path.

cvsignore

Remove NDEBUG.

Add .cvsignore.

Redo makefiles.
Adjust all #include lines appropriately.

Nicer way to generate kernel.lds.s.

%#X uses 0X not 0x.

License info.

Add license info.