Steps to Load Full Bitstream Once the Linux is up run the below commands to load the required Full Bitstream.

• echo 0 > /sys/class/fpga_manager/fpga0/flags

• mount /dev/mmcblk0p1 /media/
• mkdir -p /lib/firmware
• cp /media/ design_1_wrapper.bit.bin /lib/firmware/design_1_wrapper.bit.bin
• cp /media/pl.dtbo /lib/firmware/

• mkdir /configfs
• mount -t configfs configfs /configfs
• cd /configfs/device-tree/overlays/
• mkdir full
• echo -n "pl.dtbo" > full/path

• rmdir full

Steps to Re-Load Full Bitstream

• rmdir full

• echo 0 > /sys/class/fpga_manager/fpga0/flags

• cp /media/ design_1_wrapper.bit.bin /lib/firmware/design_1_wrapper.bit.bin
• cp /media/new-pl.dtbo /lib/firmware/

• mkdir full
• echo -n "new-pl.dtbo" > full/path