Arduino IDE on Jetson TX1

I don't understand what was in your mind when you wrote your question.

The Arduino IDE is a Java program that runs on a PC.

What is "JETSON tx1" ?

...R