A propgcc i2c driver for the DS3231 real time clock.  Does its own i2c bit banging so it can fit in a single cog.