Development platforms, compilers for TrustZone

Hello All,

Requirements:

1. Write a secure program where some part of the program resides in a secure zone.
2. Code instrumentation: I would like to instrument the compiled binary that runs on the device 

I could find some options, however, I cannot differentiate them and choose accordingly for my requirement.

ARM KEIL (Microcontroller tools), CMSIS, Arm Mbed (IoT device platform), Clang, GCC, freeRTOS, CMSIS RTOS

Can somebody suggest the development platforms, compiler, toolchains etc that I can use to achieve the requirements? 

Thanks