rpi4: boot: Add 64-bit config.txt

Add 64-bit config.txt with booting u-boot.bin.

Change-Id: I14e8e76a4244106f71c6bb8e08bfeb5858cac2db
Signed-off-by: Seung-Woo Kim <sw0312.kim@samsung.com>

diff --git a/rpi4/boot/config_64bit.txt b/rpi4/boot/config_64bit.txt
new file mode 100644 (file)
index 0000000..ee241b1
--- /dev/null
+++ b/rpi4/boot/config_64bit.txt
@@ -0,0 +1,85 @@
+# For more options and information see
+# http://rpf.io/configtxt
+# Some settings may impact device functionality. See link above for details
+
+# uncomment if you get no picture on HDMI for a default "safe" mode
+#hdmi_safe=1
+
+# uncomment this if your display has a black border of unused pixels visible
+# and your display can output without overscan
+#disable_overscan=1
+
+# uncomment the following to adjust overscan. Use positive numbers if console
+# goes off screen, and negative if there is too much border
+#overscan_left=16
+#overscan_right=16
+#overscan_top=16
+#overscan_bottom=16
+
+# uncomment to force a console size. By default it will be display's size minus
+# overscan.
+#framebuffer_width=1280
+#framebuffer_height=720
+
+# uncomment if hdmi display is not detected and composite is being output
+#hdmi_force_hotplug=1
+
+# uncomment to force a specific HDMI mode (this will force VGA)
+#hdmi_group=1
+#hdmi_mode=1
+
+# uncomment to force a HDMI mode rather than DVI. This can make audio work in
+# DMT (computer monitor) modes
+#hdmi_drive=2
+
+# uncomment to increase signal to HDMI, if you have interference, blanking, or
+# no display
+#config_hdmi_boost=4
+
+# uncomment for composite PAL
+#sdtv_mode=2
+
+#uncomment to overclock the arm. 700 MHz is the default.
+#arm_freq=800
+
+# Uncomment some or all of these to enable the optional hardware interfaces
+#dtparam=i2c_arm=on
+#dtparam=i2s=on
+#dtparam=spi=on
+
+# Uncomment this to enable the lirc-rpi module
+#dtoverlay=lirc-rpi
+
+# Additional overlays and parameters are documented /boot/overlays/README
+
+# Enable audio (loads snd_bcm2835)
+dtparam=audio=on
+
+[pi4]
+# Enable DRM VC4 V3D driver on top of the dispmanx display stack
+dtoverlay=vc4-fkms-v3d
+max_framebuffers=2
+kernel=u-boot.bin
+
+[all]
+#dtoverlay=vc4-fkms-v3d
+
+# Enable serial
+enable_uart=1
+uart_2ndstage=1
+
+# Set as 64-bit mode
+arm_64bit=1
+
+# Enable the camera module
+start_x=1
+
+# Turn off the red camera LED when recording video or taking a still picture
+disable_camera_led=1
+
+# Defines the HDMI output group DMT, set defualt mode 720p
+hdmi_group=2
+hdmi_mode=85
+
+# Set gpio pins to Input, Pullup mode.
+gpio=6,12,13,16,25=ip,pu