[detaro]

He sells the chip pre-programmed for the older versions: https://www.pjrc.com/store/ic_mkl02.html

Support for the chip used in Teensy 4 is apparently coming in the near-ish future: https://forum.pjrc.com/threads/57132-Bootloader-Chip-For-Tee...