I am trying to build a kernel for the imx35 pdk board using the yocto build system. I am able to generate a kernel image but i am not able to find any dtb files generated for the board. The kernel configuration has the support for device tree configuration enabled. What am i missing here?