int main(void)
{
SYSCTL_RCGCUART_R |= 0x80; // Enable clock to UART7
SYSCTL_RCGCGPIO_R |= 0x10; // Enable port E for uart 7
}