Hi,
My question is related to this topic so I'll post it here:
I'm considering using a Kinetis K10 in my project and the K20 datasheet states that "The K20 MCU family is pin, peripheral and software compatible with the K10 MCU family...". Does this meen that I could use the Teensyduino stack...