4060a6d530
This patch adds support for Xilinx Versal VCK190 evaluation board. VCK190 features can be found here: https://www.xilinx.com/products/boards-and-kits/vck190.html The VCK190 is based on the Xilinx Versal family: https://www.xilinx.com/products/silicon-devices/acap/versal.html The VC1902 included with the VCK190 evaluation board has Xilinx AI Engine acclerators designed for accelerating machine learning applications. Also included is an upgrade from prior Zynq and ZynqMP families to ARM Cortex-A72 cores. While the Linux kernel for Versal is quite similar to ZynqMP, the boot process has significantly changed. Triple-redundant MicroBlaze cores are used to boot and setup Versal devices. For this reason, current buildroot support will download pre-built firmware images and use Xilinx bootgen to generate the boot.bin for the vck190. Signed-off-by: Neal Frager <neal.frager@amd.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com> |
||
---|---|---|
.. | ||
genimage.cfg | ||
post-build.sh | ||
post-image.sh | ||
readme.txt |
****************************************** Xilinx VCK190 board - Versal ****************************************** This document describes the Buildroot support for the VCK190 board by Xilinx, based on Versal. It has been tested with the VCK190 production board. Evaluation board features can be found here with the link below. VCK190: https://www.xilinx.com/products/boards-and-kits/vck190.html How to build it =============== Configure Buildroot: $ make versal_vck190_defconfig Compile everything and build the rootfs image: $ make Result of the build ------------------- After building, you should get a tree like this: output/images/ +-- boot.bin +-- boot.vfat +-- Image +-- rootfs.ext2 +-- rootfs.ext4 -> rootfs.ext2 +-- sdcard.img +-- system.dtb -> versal-vck190-rev1.1.dtb `-- versal-vck190-rev1.1.dtb How to write the SD card ======================== WARNING! This will destroy all the card content. Use with care! The sdcard.img file is a complete bootable image ready to be written on the boot medium. To install it, simply copy the image to an SD card: # dd if=output/images/sdcard.img of=/dev/sdX Where 'sdX' is the device node of the SD. Eject the SD card, insert it in the board, and power it up.