Во время анонса однокристальной системы NVIDIA Tegra K1 на CES 2014 было представлено две версии: с четырьмя 32-бит ядрами Cortex-A15 и с двумя 64-бит ядрами Project Denver. Похоже, 64-битная версия Tegra K1 уже существует в кремнии. По крайней мере, этот чип был замечен в результатах тестов AnTuTu и показал неплохую производительность.