X1 is actually the 64-bit ARM CPU configuration (Cortex A53 + Cortex A57), not D...

		tmurray on July 25, 2015 \| parent \| context \| favorite \| on: NetBSD on the Nvidia Jetson TK1 X1 is actually the 64-bit ARM CPU configuration (Cortex A53 + Cortex A57), not Denver. K1, the predecessor of X1, comes in two flavors: 32-bit 4xCortex A15 and 64-bit 2xDenver. TK1 is 32-bit, Nexus 9 is 64-bit (and is the only device I know of with Denver).

I stand corrected. Thanks for the info!