Hello Lurkersoo,
AFAIK there are no RTOSes for DSC from NXP, on the other hand there is a port for FreeRTOS for TWR-56F8400 based on the same 56800EX core used in mc56f83xxx and mc56f84xxx DSCs.
Check the following links ...
1) post on FreeRTOS forum with attached source code:
https://interactive.freertos.org/hc/en-us/community/posts/210026126-FreeRTOS-port-for-Freescale-DSC-...
2) More detailed explanation on how to use it and how to adapt it to other DSCs (or to newer FreeRTOS versions):
https://mcuoneclipse.com/2013/11/16/freertos-for-the-freescale-dsc-56f8400-core/
According to replies in the second link, it has also been successfully ported to 56F84789.
Lorenzo Micheletto
