I ported uCOS II for TM4C123G micro-controller.
uCOS II works great.
But when interrupt is used, it goes to lowest priority idle task.
It is not scheduling user defined highest priority task.
I use the following code for servicing interrupt.
void BSP_IntHandler (CPU_INT16U src_nbr)
{
CPU_FNCT_VOID isr;
CPU_SR_ALLOC();
CPU_CRITICAL_ENTER();
OSIntEnter();
CPU_CRITICAL_EXIT();
OSIntExit();
}