arduino on jetson tx2

Development Tools Uploading
1

Hi
I installed the arduino IDE for an nvidia jetson tx2 board using

apt install arduino arduino-core

We get avrdude timeout errors.
If I try installing the arm linux IDE, I cannot run files which arent located by the system ,
this apparently being a symptom of a 32bit install being run on a 64bit system (there is
only one arm IDE version at the aruino.cc downloads page, apparently its 32 bit) .

SO - do I need to recompile my kernel as here

or
install 32 bit user space support on the machine as in here?

or
some other option I haven't run across?

2

Wow. Rarified territory!
Does the serial/USB driver work? (Loopback test.)
Linux "packages" tend to be pretty obsolete, or a mishmash of possibly not-compatible versions of stuff, but I guess you don't have much choice. If the driver is working, you could try just getting the arduino version I avrdude, and compiling that manually.