jetsonGPIO A straightforward library to interface with the Jetson TK1 Development Kit GPIO pins. Based on David