You should have a look at Nvidia's K1 dev kit. (edit: guess that's not 64 bit...) https://developer.nvidia.com/jetson-tk1 https://developer.nvidia.com/jetson-

You should have a look at Nvidia's K1 dev kit. (edit: guess that's not 64 bit...) https://developer.nvidia.com/jetson-tk1 https://developer.nvidia.com/jetson-tk1 https://developer.nvidia.com/tegra-development https://developer.nvidia.com/tegra-development Nvidia's dev support team is great. Using the Tegra Dev pack on a Shield is by far the best NDK environment I've found.