u-boot and kernel source

[whitsydaddy]

Hello,
We are using a TE0720 module.  We have built up a hardware design and want to build u-boot and the kernel from the source code.  We downloaded the u-boot and kernel sources from the Xilinx github. Is there a configuration for the TE0720-01-2IF board that we are using for u-boot and the kernel?  Or is there a default configuration that we can use?  thanks, Scott

[Oleksandr Kiyenko]

Hello,

At the moment we are using Petalinux with Vivado to build Linux projects. We are not working with linux from Xilinx Github, as it very hard to push our commits to it.

Best regards
Oleksandr Kiyenko