enable_uart=1
arm_64bit=1
kernel=u-boot.bin
armstub=bl31.bin
enable_gic=1