Boot rpi3 with u-boot-spl.bin which enables ARM atf.
Other booting options are set as like:
https://github.com/OP-TEE/build/blob/master/rpi3/firmware/config.txt
Change-Id: I0c0559c3f72f252c2cd2716b746b3c49b04fd63e
Signed-off-by: Rafal Tyminski <r.tyminski@partner.samsung.com>
[sw0312.kim: add more options and adjust commit-msg]
Signed-off-by: Seung-Woo Kim <sw0312.kim@samsung.com>
arm_control=0x200 # for 64-bit
# Kernel binary
-kernel=u-boot.bin
+kernel=u-boot-spl.bin
# Device tree binary
device_tree=bcm2710-rpi-3-b.dtb
+
+# Kernel Address 0x0
+kernel_old=1
+
+# Skip filling ATAGS
+disable_commandline_tags=1