3 setenv bitstream_image top_wrapper.bit
4 setenv dtb_img system.dtb
5 setenv kernel_img image.ub
7 setenv bitstream_load_address 0x04000000
9 setenv bitstream_tftp 'tftpboot ${bitstream_load_address} ${tftp_dir}${bitstream_image}'
10 setenv dtb_tftp 'tftpboot ${dtbnetstart} ${tftp_dir}${dtb_img}'
11 setenv kernel_tftp 'tftpboot ${netstart} ${tftp_dir}${kernel_img}'
13 setenv bitstream_load 'fpga loadb 0 ${bitstream_load_address} ${filesize}'
15 setenv boot_now 'bootm ${netstart} - ${dtbnetstart}'
17 run bitstream_tftp bitstream_load kernel_tftp dtb_tftp boot_now