Does anyone have a working 3.8 kernel for the CARMA Tegra 3 development card? If yes, I would love to get my hands on a working .config file. The stock kernel, 3.1.10, is a bit old. The support for Tegra 8 is in the kernel mainline but I have yet to configure and build a 3.8 kernel that is bootable on that card. Thanks in advance. Regards, Spencer