Jetson TK1 Denver SOC

Autonomous Machines Jetson & Embedded Systems Jetson TK1
#1

Does anyone make a development board for the Jetson TK1 Denver SOC or SOM? I am interested in comparing the performance gained by moving to a 64 bit architecture from the 32 bit architecture.

#2

Hi eeferrufino, only 32-bit TK1 modules or chips (CD575 aka T124) are available.