#Virtual Providers
#defconfigs
UBOOT_DEFAULT_DEFCONFIG="xilinx_zynqmp_virt_defconfig"
#atf
CONFIG_SUBSYSTEM_PRELOADED_BL33_BASE="0x8000000"