Incorporating bitstream into boot.bin with BuildRoot

Question

I am using buildroot 2017.02 for a MicroZed board target with a Xilinx kernel and U-Boot. The Zynq programmable logic (PL) bit stream file will be custom built by me using Vivado. The PL must be incorporated to the boot.bin file that resides on the target's SD card along with the u-boot image.

I can get through a complete buildroot run, producing an SD card image with a boot.bin file, but I cannot determine where the bitstream came from or how to replace it.

How do I configure buildroot to incorporate my own PL bit stream file into boot.bin?

ejubenville · Accepted Answer

This Xilinx Wiki that solves my problem, but in a different way: http://www.wiki.xilinx.com/Programming+the+Programmable+Logic Enabling kernel option CONFIG_XILINX_DEVCFG (menuconfig path "Device Drivers ---> Character devices ---> <*> Xilinx Device Configuration") provides a driver to download the bitstream during or after kernel startup: cat bitstream.bit > /dev/xdevcfg