I have added a clock firmware project prototyped using this dev board and a DS3231 RTC board to Github. Details are sparse because I intend to build a board for it, make it a project in its own right, and take it futther in due course, but it should be possible to work out what goes where from the program.