CROSS_COMPILE=aarch64-none-elf-
PLAT=zynqmp
RESET_TO_BL31=1
DEBUG=1
XILINX_OF_BOARD_DTB_ADDR=0x100000