Great to hear you got it running. Do you mind to develop how? Did you replace the platform.txt? or what did you change to make it work? I am experiencing the same kind of errors that you repport in the first post. I am using Arduino 1.8.9 and TeensyDuino 1.46. Working on the example...