zynqmp: Add xen boot command

Enable easy way how to run xen.

Signed-off-by: Michal Simek <michal.simek@xilinx.com>

diff --git a/include/configs/xilinx_zynqmp.h b/include/configs/xilinx_zynqmp.h
index 29dbe1342d6776dcd56fd8bdfdf394a75e365f73..2db7213d07ee5ca0647346d1d4f294516d430e8f 100644 (file)
--- a/include/configs/xilinx_zynqmp.h
+++ b/include/configs/xilinx_zynqmp.h
@@ -132,6 +132,7 @@
                  "sf read 80000 140000 1800000 && booti 80000 - f000000\0" \
        "sdboot=mmcinfo && fatload mmc 0:0 f000000 system.dtb && " \
                "fatload mmc 0:0 f000000 Image && booti 80000 - f000000\0" \
+       "xen=tftpb 4000000 system.dtb && tftpb 0x80000 Image && tftpb 6000000 xen.ub && bootm 6000000 - 4000000\0" \
        "jtagboot=tftpboot 10000000 image.ub && bootm\0"
 
 #define CONFIG_BOOTARGS                "setenv bootargs console=ttyPS0,${baudrate} " \