i got a basic solution to connect UART of arduino to tinker UART1 (8,10) on armbian os through python . this might not be a correct one .but,simple .we can use '/dev/ttyS1' to access the UART1 tx and rx pin
python
import serial
ser = serial.Serial('/dev/ttyS1',9600)
ser.write('hello'.encoder()) # to write data
ser.readline() # to read data