I notice that the latest kernels from kernel.org DO have tegra support. And in fact there is a tegra_defconfig. Yet the latest software release for jetson TK1 (21.5) is on the 3.10 kernel.
Are there known things broken in the later Linux kernels? If so what is broken?