Jetson TK1 Denver SOC

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.

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