Linux Kernel source based off freescale repo plus jas patches for GK802 - View it on GitHub