A driver for the Adafruit 16-Channel 12-bit PWM/Servo Driver - I2C interface - PCA9685. http://www.adafruit.com/product/815
Built for the NVIDIA Jetson TK1 Development Kit.
In order to run the example, edit example/servoExample.cpp and uncomment the lines:
// int servoMin = 120 ;
// int servoMax = 720 ;
and change the servoMin and servoMax values to values appropriate to the servos being used.