NuttX RTOS for SA-1xx