Hooray! We have a verified DS3231 driver. :)