* Move UART code into its own file

* Set up vectored interrupt controller
* Set up timer interrupt

uart.h

@@ -0,0 +1,11 @@
+#ifndef __UART_H
+#define __UART_H
+
+void init_uart(void);
+void putch(char c);
+void putstr(char *s);
+void putint(unsigned int n);
+void puthex(unsigned int n);
+char getch(void);
+
+#endif /* __UART_H */