The Jetson TX2 developer kit from NVIDIA based is based on the Tegra P1 chip (also known as Tegra 186). The Tegra P1 (codenamed "Parker") features two Denver2 cores and four ARM Cortex-A57 cores and a Pascal GPU (GP10B) with 256 CUDA cores.


There's currently no support for the Jetson TX2 developer kit in Debian but it would be pretty easy to add support since all of the code is upstream.