A straightforward library to interface with the Jetson TK1 GPIO pins - View it on GitHub