If you want to try the experimental 64 bit ARM, here's the steps needed....
First extract Arduino
Code:
tar -xvf arduino-1.9.0-beta-linuxaarch64.tar.xz
Uncompress and run the Teensyduino installer. The normal UPX compression isn't working yet, so for now it comes xz compressed.
Code:
unxz TeensyduinoInstall.linuxaarch64.xz
chmod 755 TeensyduinoInstall.linuxaarch64
./TeensyduinoInstall.linuxaarch64
Install the Teensy udev rules, as you would on any Linux system
Code:
wget https://www.pjrc.com/teensy/49-teensy.rules
sudo cp 49-teensy.rules /etc/udev/rules.d/
Unfortunately the Oracle JRE with Arduino is "Headless" (doesn't support graphics yet on ARM 64 bit?), so it must be deleted. Install the OpenJDK JRE instead.
Code:
cd arduino-PR-beta1.9-BUILD-69
rm -rf java
sudo apt-get install openjdk-8-jre
Arduino's "builder" program (written in Google Go language) is still 32 bits, so the 32 bit C libraries need to be installed.
Code:
sudo dpkg --add-architecture armhf
sudo apt-get update
sudo apt-get install libc6:armhf libstdc++6:armhf
Optional: nVidia Jetson TX2 ships with a kernel lacking the cdcacm driver (USB Serial). You could try installing this to get it. Fortunately Teensy uses HID for programming and has HID-based serial emulation for non-serial modes, so you don't absolutely need this to use Teensy. It is needed for all normal Arduino boards.
Now you're ready to use Arduino.
Code:
./arduino
Select Teensy in Tools > Boards menu
Select RawHID in Tools > USB Type menu
Open File > Examples > 01.Basics > Blink
Click Upload
(press button on Teensy... needed if prior program to USB Serial)
Here's a photo of the setup on my desk right now, with the Teensy 3.6 freshly programmed by the Jetson TX2.

(click for full size)
This conversation on Arduino's issue tracker has more info. Please please please do not bother the Arduino developers with any Teensy-specific problems. Reply here on this forum for anything related to Teensy.