Hi all,
This is my first post to the forum. I am also quite new to the topic. I am trying to flash an Arduino program with my Jetson TX1 to a Teensy 3.2. I am trying this experimental version of Arduino 1.9 Beta, the problem is that when I download the Arduino file from the first post, I get the build 78. The Teensyduino version I need the build 69, and I don't know how to get it. Could some help me out?