Hi Andrea,
This is the ISR code I am using
void __irq_interrupt__ wifi_uart_isr(void)
{
register int16_t i;
register uint32_t ui;
register UART_MemMapPtr channel = uartBases[WIFI_UART_NUM]; //WIFI_UART_NUM = 2
ui = UART_S1_REG(channel);
if (ui & UART_S1_RDRF_MASK) {
simSerialBuffer[indxIn1] = UART_D_REG(channel);
i = (indxIn+1) % WIFI_UART_BUF_SIZE; // WIFI_UART_BUF_SIZE = 1024
if (i != indxOut) indxIn = i;
else bufOvrn = 1;
}
}