I wanted to change some kernel configuration and re-build (cross compile) linux kernel. My target board is Pynz Z1.
I have followed simpler steps in this post. I successfully could get uImage. The article provides boot.bin and devicetree.dtb. I used these files along with uImage.
However, everytime I boot the board using SD Card, the boot process freezes after the kernel message “Starting kernel…”. Am I missing something in this kernel re-build process.
It looks like the device tree has some issues. Not sure where you got the dtb file, but it is possibly not compatible with Pynq z1.
I am not sure why you want to rebuild the linux kernel since if you are using our sdbuild process, the petalinux project should just have everything - kernels, fsbl, u-boot, etc. What are you trying to do?
Ok, so the best way to enable that kernel configuration, is to adjust that kernel configuration, and rebuild the boot_files using the SD make flow. Something like