From f30d4cfe70c4fdb4606ed80dd1d57d0152a4c07e Mon Sep 17 00:00:00 2001
From: Andrei Gherzan <andrei@gherzan.ro>
Date: Tue, 2 Jul 2019 11:53:51 +0100
Subject: [PATCH] raspberrypi4-64.conf: Introduce RPi arm64 machine

Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
---
 conf/machine/raspberrypi4-64.conf | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 conf/machine/raspberrypi4-64.conf

diff --git a/conf/machine/raspberrypi4-64.conf b/conf/machine/raspberrypi4-64.conf
new file mode 100644
index 0000000..a03a7c5
--- /dev/null
+++ b/conf/machine/raspberrypi4-64.conf
@@ -0,0 +1,25 @@
+#@TYPE: Machine
+#@NAME: RaspberryPi 4 Development Board
+#@DESCRIPTION: Machine configuration for the RaspberryPi 4 in 64 bits mode
+
+MACHINEOVERRIDES = "raspberrypi4:${MACHINE}"
+
+MACHINE_EXTRA_RRECOMMENDS += "\
+    linux-firmware-rpidistro-bcm43455 \
+    bluez-firmware-rpidistro-bcm4345c0-hcd \
+"
+
+require conf/machine/include/tune-cortexa72.inc
+include conf/machine/include/rpi-base.inc
+
+RPI_KERNEL_DEVICETREE = " \
+    broadcom/bcm2711-rpi-4-b.dtb \
+"
+
+SDIMG_KERNELIMAGE ?= "kernel8.img"
+SERIAL_CONSOLES ?= "115200;ttyS0"
+
+MACHINE_FEATURES_append = " vc4graphics"
+VC4DTBO ?= "vc4-fkms-v3d"
+
+KERNEL_IMAGETYPE_DIRECT ?= "Image"