Last Modified: 06/11/1999
Random TODO stuff for me (Adam) only
- Impliment tcb page faults (start on data/prefetch abort handlers)
- Make all list/queue manipulations macros
- Move cpu/platform dependent macro's to relevant sub-directories
- Move Kernel Debugging shit to the text segment
- Add a basic kernel debug console (look at Uwe's one in Karlsruhe L4/ARM
- Move kernel memory allocator over to Espens scheem of things
- Clean up init_kmalloc and allocated unused frames from kernel 64KB area
- Make map excp page cpu depended so on relocated processors it doesn't get 
mapped in.
- Clean up kernel.ld, symbols.ld, platform.ld and header files for symbol 
declaration
- Add memory layout to docs
- Add Psion5 support, use Abel files to integrate defines and code
