I am using the FSL UART Driver in blocking mode with MQX as the RTOS. When the IRQ posts to the rxIrqSync semaphore a hard fault is generated. Have spent three days troubleshooting this problem and have run out of ideas as to what to try next. The _lwsem_post code executes to the _CHECK_RUN_SCHEDULER() function where the hard fault occurs.
Any troubleshooting suggestions would be greatly appreciated.