I like Pascal case better than anything else.

Rename all functions to follow Pascal case. This excludes libc functions (defined by the C
standard so I cannot avoid it), kalloc and friends, variable names (local and global), some
internal functions (like those used in terminal.c), and inb, outb, inw.
Add the coding style document which takes some stuff from the linux kernel coding style document. This defines what the code should look like.