- Copy built Xen images to your TFTP directory so that you can load
them from U-Boot with
TFTP.
$ cd <plnx-proj-root> $ cp images/linux/system.dtb <tftpboot>/ $ cp images/linux/Image <tftpboot>/ $ cp images/linux/xen_boot_tftp.scr <tftpboot>/ $ cp images/linux/xen_boot_sd.scr <tftpboot>/ $ cp images/linux/xen <tftpboot>/ $ cp images/linux/rootfs.cpio.gz <tftpboot>/
- Boot built U-Boot image on the board with either JTAG boot or
boot from SD card. Note: For SD card boot, see Booting PetaLinux Image on Hardware with an SD Card and for JTAG boot, see Booting PetaLinux Image on Hardware with JTAG.Note: You can also point the dom1 and dom2 to the domU kernels in the configuration itself so that the Xen boot files are updated with the images that are being pointed to. Edit the configuration file as shown"
$ vi images/linux/xen.cfg $ export XEN_CONFIG="<Absolute path for xen.cfg>" $ export XEN_CONFIG_SKIP="1" $ export BB_ENV_EXTRAWHITE="$BB_ENV_EXTRAWHITE XEN_CONFIG XEN_CONFIG_SKIP" $ petalinux-build -c kernel -x do_deploy
Note: Xen boot files are generated in the <plnx-proj-root>/images/linux folder. - Setup TFTP server IP from U-Boot:
Platform> setenv serverip <TFTP SERVERIP>
Note: Platform refers to Versal® or Zynq® UltraScale+™ MPSoC. - Load Xen images from U-Boot:
- TFTP Boot
-
xen_boot_tftp.scr, to be loaded at address
0xC00000
as shown::tftpb 0xC00000 xen_boot_tftp.scr; source 0xC00000
- SD Boot
-
xen_boot_sd.scr, to be loaded at address
0xC00000
as shown:load mmc 0:1 0xC00000 xen_boot_sd.scr; source 0xC00000
Note: For more information, see http://www.wiki.xilinx.com/XEN+Hypervisor.