I`ve used this driver code for uart0, everyhting seems right , still I`m not being able to use the UARTprintf, it goes in some kind of infinite loop waiting for space to be avalable(as written in uart.c)...
void uart(void)
{
volatile unsigned long delay;
SYSCTL_RCGC2_R|=0x0000001;
delay = SYSCTL_RCGC2_R;
SYSCTL_RCGC1_R|=1;
GPIO_PORTA_AMSEL_R&=0xFC;
GPIO_PORTA_DEN_R|=0x03;
GPIO_PORTA_AFSEL_R|=0x03;
GPIO_PORTA_PCTL_R|=0x00000011;
UART0_CTL_R&=0xFFFFFFFE;
UART0_IBRD_R = 43; // IBRD = int(80,000,000 / (16 * 115200)) = int(43.402778)
UART0_FBRD_R = 26; // FBRD = round(0.402778 * 64) = 26
UART0_LCRH_R|=0x00000070;
UART0_CTL_R|=0x00000301;
}
