I have a imx6ul-evk demo board, now, I want to build a linux platform on it. but I don't want to use yocto to build the kernel. So, I need download the kernel from Freescale Public GIT .
first, I get the kernel from "git://git.freescale.com/auto/linux.git", I can't find some *.dts files about imx6ul. and also, it cause some problem while starting the kernel.
the question is : if I use imx6ul,and use linux-4 version, where I can find the suitable kernel?