Linux kernel source tree for Jetson TK1, non stable reference - View it on GitHub