Linux kernel support for NVIDIA's Tegra 4 ARM platform have been around for nearly one year but only with the Linux 3.13 kernel is this latest-generation high-performance ARM Cortex-A15 based solution going to be supported by the mainline Linux kernel.
The ARM SoC pull went in early this morning with new and updated SoC support for the Linux 3.13 kernel, one day after the merge window opened. There's better AM33XX platform support, i.MX clean-ups and updates, support for two new Renesas mobile chipsets, and other clean-ups and small updates. The big change with this pull is the landing of Tegra 124 support, a.k.a. the Tegra 4.