The SDK is on the Jetson TX2, you can also change the flight controller’s firmware using the PX4 stack. Draco R officially supports PX4.