https://www.stupid-projects.com/posts/using-nxp-sdk-with-teensy-4-0/
Using NXP SDK with Teensy 4.0 - Stupid Projects