Python Library for Rpi for: adafruit-ds3231-precision-rtc-breakout

actually not, when you got /boot/config.txt and the /lib configured then Rasbian gets it time from date time like everyone, only difference the kernel now get the time from the RTC and not the onboard clock.

G