(1528-5188-ND) Linux kernel driver selection

Hi,
I have a custom board based upon the BeagleBone Black using the Octavo Systems OSD3358-BAS module. I would like to add an external battery backed Real Time Clock I2C. I am considering the 1528-5188-ND DS3231 Real Time Clock (RTC) Clock Timing Qwiic, STEMMA QT Platform Evaluation Expansion Board.

Linux kernel v5.11.10 config has
CONFIG_RTC_DRV_DS1307 - Dallas/Maxim DS1307/37/38/…
CONFIG_RTC_DRV_DS3232 - Dallas/Maxim DS3232/3204

The 5188 Adafruit board has a DS3231 RTC chip.

Which kernel driver should I enable for the DS3231?

Thank you,

HI @jakthree the rtc-ds1307 driver supposts the DS3231

https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/drivers/rtc/rtc-ds1307.c?h=v6.1-rc7#n1105

		.compatible = "maxim,ds3231",
		.data = (void *)ds_3231
	},

Regards,