chipKIT Real-Time Clock Library.  Supports many RTC chips, as well as the internal PIC32 RTCC