merged in all changes done to the trunk up to Aug 28
authorGodmar Back <godmar@gmail.com>
Thu, 28 Aug 2008 04:33:40 +0000 (04:33 +0000)
committerGodmar Back <godmar@gmail.com>
Thu, 28 Aug 2008 04:33:40 +0000 (04:33 +0000)
commit8fff557107b6a3efec0000ce98904450c1de3648
treeffd98d222d338d26c5870cfb5abae9ef6bc7eb8e
parente81af6fff9570e6f3f2b13bb9ad54cc17f25aa50
merged in all changes done to the trunk up to Aug 28
16 files changed:
src/devices/intq.c
src/devices/kbd.c
src/devices/timer.c
src/devices/timer.h
src/devices/usb.c
src/devices/usb.h
src/devices/usb_uhci.c
src/lib/debug.h
src/lib/kernel/debug.c
src/threads/init.c
src/threads/init.h
src/threads/interrupt.c
src/threads/palloc.c
src/threads/thread.c
src/threads/thread.h
src/utils/pintos