Build a RTC Module for the DS3232 chip for the Jetson TK1 L4T kernel - View it on GitHub