Hi,
Until now, just FreeRTOS is the available option from NXP to use with the M4 core of the i.MX8.
There are some 3rd parties that may provide additional BSPs for NXP processors. You could directly send your request to Zephyr, as they are NXP partners.
Hope this will be useful for you.
Best regards!
/Carlos
-------------------------------------------------------------------------------
Note:
- If this post answers your question, please click the "Mark Correct" button. Thank you!
-------------------------------------------------------------------------------