0f8433ab04
This configuration allows out-of-the box Digilent Zybo support. It uses mainline U-boot and Linux kernel. This configuration generates a SD card image named sdcard.img. [Peter: rename genimage.cfg, cleanup post-image script, enable VFP support, use 4.6 kernel headers and add tools needed by genimage] Signed-off-by: Sebastien Van Cauwenberghe <svancau@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
6 lines
467 B
Plaintext
6 lines
467 B
Plaintext
bootargs=root=/dev/mmcblk0p2 rootwait rw rootfstype=ext4
|
|
fpga_image=system.bit
|
|
fpgaboot=if fatload mmc 0 0x1000000 ${fpga_image}; then echo Booting FPGA from ${fpga_image}; fpga info 0 && fpga loadb 0 0x1000000 $filesize; else echo FPGA image ${fpga_image} was not found, skipping...; fi;
|
|
kernel_image=uImage
|
|
sdboot=echo Booting from SD...; run fpgaboot; fatload mmc 0 0x1000000 ${kernel_image} && fatload mmc 0 0x2000000 zynq-zybo.dtb && bootm 0x1000000 - 0x2000000
|