bah, my interrupts are not firing. What have I forgotten? * set the bit in the CONTROL register of my CMSDK UART * unmask the Uart0Tx interrupt in NVIC * enable interrupts