rpi3: config: Add loading of arm64 kernel binary & dtb

Change-Id: Ib553d02595e357751d0080d6aa713efe1ce9515d
Signed-off-by: Joonyoung Shim <jy0922.shim@samsung.com>

diff --git a/rpi3/boot/config.txt b/rpi3/boot/config.txt
index df51a4f..e785afc 100644 (file)
--- a/rpi3/boot/config.txt
+++ b/rpi3/boot/config.txt
@@ -61,3 +61,9 @@ enable_uart=1
 # Bit 9 of arm_control determines if arm is booted in 32-bit mode or 64-bit mode
 #arm_control=0x0       # for 32-bit
 arm_control=0x200      # for 64-bit
+
+# Kernel binary
+kernel=Image
+
+# Device tree binary
+device_tree=bcm2710-rpi-3-b.dtb