Enabling a DS3231 RTC

Although I intend to migrate to CoreELEC soon, I’m currently running LibreELEC on my Odroid-C2. From what I understand, CoreELEC is based on LibreELEC.
I am unable to find how to configre the RTC on the C2. On a Raspberry Pi, it involves editing config.txt. Has anyone figured out how?
Thanks!

for a DS3231 check that thread. it seems that coreelec has the rtc module built in. You just need to edit the dtb.img

https://forum.odroid.com/viewtopic.php?t=33378