Asus Tinkerboard and Arduino

Asus Tinkerboard -- has anyone had any experience in implementing the Arduino IDE on this?

It runs a debian-derived linux on ARM, look very similar to the Pi. Do the linux ARM versions of the IDE not work?

Thanks.

Sorry, I shud have explained I am not using Tinkerboard, just wondering if it is a good platform to run Arduino IDE.