rpi3: config: Add boot mode to select ARM or ARM64

Add configration to select boot mode in config.txt file, then we can
determine booting in 32-bit mode or 64-bit mode.

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

diff --git a/rpi3/boot/config.txt b/rpi3/boot/config.txt
index d96844a59ebf9fd38af7495e5d93f1338e5842f2..df51a4fe662a336a55859605c3b7430804af6c42 100644 (file)
--- a/rpi3/boot/config.txt
+++ b/rpi3/boot/config.txt
@@ -57,3 +57,7 @@ dtparam=audio=on
 
 # Enable serial
 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