Looks like we can at least print stuff to UART0 now