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.

System call interface.

Handle bit_cnt of 0 properly.

Don't try to allocate file that's too big in filehdr_allocate.

file_write_at() mustn't free bounce buffer.

free() on a null pointer is a no-op.

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.