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?