On Wed, Mar 26, 2014 at 09:02:26AM -0700, Chris wrote:
>I am working with the Tegra4 (Tegra Note 7 device) and need to modify the kernel. I am not able to find the kernel source for Tegra4 and I'm not sure how/where to find it. I have looked here
https://android.googlesource.com/kernel/tegra/ but this only has up to tegra3 and nothing for tegra4. I appreciate any suggestion on where to look or how to get the Tegra4 kernel source. Thanks.