Green Hills INTEGRITY architecture support package(ASP) is available for Freescale Kinetis cpu, does that include K70 also?
In fact in the web page of Green Hills they mention that support Kinetis take a look:
http://www.ghs.com/products/rtos/board_support_packages.html
Green Hills Software Announces Record EEMBC CoreMark Benchmark Results
Have a nice.