NXP provides a software drivers library for Kinetis M devices, the KM bare-metal drivers. It includes support for peripherals and FreeRTOS.
Follow the instructions to download and install the software package.
If you need support for a different IDE or KM device you just need to extract the appropriate .exe file from the SW package.
Hope information helps!
Happy Downloading and installing!
I am trying to write bare metal applications under KDS 3.2.0 for the MK10FX512VLQ12, which is a Cortex M4 device. These examples appear to be written for Cortex M0 parts. Are there any bare-metal examples for my processor?