hello Karis,
check this, Serial communication between Jetson nano and Arduino through GPIO - #9 by JerryChang it shows the mappings for serial ports of ttyTHS*, and UART*
please also refer to Unable to read eeprom on tx2 nx board - #8 by JerryChang to modify device tree and enable /dev/i2c-7 interface.