There are no official ARM builds and - ASUS Tinkerboard S - is a 32bit ARM chip 
Here you can find a good repo for ARM builds but it is for Raspi 3 what is 64bit
I don’t know if this will also work with your board.
There are no official ARM builds and - ASUS Tinkerboard S - is a 32bit ARM chip
Here you can find a good repo for ARM builds but it is for Raspi 3 what is 64bit
I don’t know if this will also work with your board.