This is a port of FreeRTOS for the Freescale Kinetis SDK (KSDK) which includes support for the Percepio FreeRTOS+Trace recorder library.
I maintain the latest and greates ports on GitHub here: https://github.com/ErichStyger/mcuoneclipse/tree/master/Examples/KSDK
Enjoy :-)
Erich
FreeRTOS_V8.2.0 KSDK v1.2.0 with Trace.zip