ARM_PRELOADED_DTB_BASE=0x80070000
ARM_LINUX_KERNEL_AS_BL33=1
CROSS_COMPILE=aarch64-none-elf-
PLAT=fvp
PRELOADED_BL33_BASE=0x80080000