Hello
Hope you are well.
Unfortunately, NuttX has limited support on our side. For RTOS software we can provide the FreeRTOS examples located in the MCUXpresso SDK: https://mcuxpresso.nxp.com/en/welcome
If you have more questions do not hesitate to ask me.
Best regards,
Omar