#Virtual Providers



#defconfigs

UBOOT_DEFAULT_DEFCONFIG="xilinx_zynqmp_virt_defconfig"

#atf
CONFIG_SUBSYSTEM_PRELOADED_BL33_BASE="0x8000000"