> The Rock64 is a better option with the same SOC as the Tinkerboard but USB 3.0 ports and decent Linux support.

I've had a rough time with the Rock64, personally. Also I like to mention that you cannot power the Rock64 over MicroUSB like you can an RPi, which is really annoying to me.