Boot Built Linux as dom0 - 2020.2 English

PetaLinux Tools Documentation Reference Guide (UG1144)
Document ID
UG1144
Release Date
2020-11-24
Version
2020.2 English
  1. 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>/
  2. Boot built U-Boot image on the board with either JTAG boot or boot from SD card.
    Note: For SD card boot, see Boot a PetaLinux Image on Hardware with an SD Card and for JTAG boot, see Boot a 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 xen boot files get updated with that pointed images. Edit the configuration file.
    $ 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 <plnx-proj-root>/images/linux.
  3. Setup TFTP server IP from U-Boot: 
    Platform> setenv serverip <TFTP SERVERIP>
  4. Load Xen images from U-Boot:

    TFTP BOOT: xen_boot_tftp.scr, to be loaded at address 0xC00000:

    tftpb 0xC00000 xen_boot_tftp.scr; source 0xC00000

    SD BOOT: xen_boot_sd.scr, to be loaded at address 0xC00000:

    load scsi 0:1 0xC00000 xen_boot_sd.scr; source 0xC00000
    Note: For more information, see http://www.wiki.xilinx.com/XEN+Hypervisor.