The on you found based off https://android.googlesource.com/kernel/tegra, and that's where the official source is.
-- unsubscribe: [email protected] website: http://groups.google.com/group/android-kernel
- [android-kernel] Kernel source for Nexus 7, Version 3.1.10 Jack Harvard
- [android-kernel] Re: Kernel source for Nexus 7, Version ... cdesai
