Todo

Kernel

• Write a String library
• Write a Print library
• Write a Time library
• Write a Synchronization library
• Write Queue implementation
• Set up Memory / Paging

Pi:

• Write a GPIO library
• Write an LED driver (Rachel)
• Get screen writing to work (David)
• Setup interrupts

QEMU

• Finish the keyboard driver
• Setup interrupts (Lance)