#Virtual Providers



#defconfigs

UBOOT_DEFAULT_DEFCONFIG="xilinx_zynqmp_virt_defconfig"

#atf

CONFIG_SUBSYSTEM_PRELOADED_BL33_BASE=0x10080000
