There are several software toolchain options to choose from for this design challenge Kinetis Design Studio IAR Keil GCC and OpenSDA(CMSISDAP/mbed I’ve used the mbed compiler in the past for NXP LPC1768 EFM32 Giant Gecko and FRDM-K64FFRDM-K64F projects https://developer.mbed.org/handbook/Firmware-FRDM-K64F
My first objective will be to use the Kinetis Design Studio for this project, along with the Kinetis Software Development Kit (KSDK).
I’ve found many documents and software tools for this project so far.
There are some getting started videos available also: