The UART on the 40pin GPIO header (pins 8 and 10) is not enabled by default. It must be enabled by enabling a device tree overlay that is included with libretech-wiring-tool.
sudo ldto enable uart-ac11084c0.serial: ttyAML6 at MMIO 0xc11084c0 (irq = 49, base_baud = 1500000) is a meson_uartminicom or whateversudo ldto merge uart-a
Somewhat confusingly, both uart-a and uarta exist as device tree overlays. uarta maps to uart-a-rts-cts which uses pins 16 and 18 for hardware flow control.
Specifically, SDA and SCL pins on GPIOs 3 & 4.
sudo apt install i2c-toolssudo ldto enable i2c-aoi2cdetect -y 1 (DS3231 should be at 0x68)sudo ldto enable i2c-ao-ds3231[ 4024.485534] rtc-ds1307 1-0068: SET TIME! [ 4024.488196] rtc-ds1307 1-0068: registered as rtc0 [ 4024.489394] rtc-ds1307 1-0068: setting system clock to 2000-01-01T01:07:25 UTC (946688845)
sudo ldto merge i2c-ao ; sudo ldto merge i2c-ao-ds3231