From a239aafc1cea27c1284dea670af62801b0a43ec9 Mon Sep 17 00:00:00 2001
From: Adam Gausmann <agausmann@fastmail.com>
Date: Sun, 12 Jul 2020 18:08:56 -0500
Subject: [PATCH] rpi-kernel: Support for Raspberry Pi 4

---
 srcpkgs/rpi-kernel/template | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/srcpkgs/rpi-kernel/template b/srcpkgs/rpi-kernel/template
index 2f4d9defbab..dab814c67c3 100644
--- a/srcpkgs/rpi-kernel/template
+++ b/srcpkgs/rpi-kernel/template
@@ -10,7 +10,7 @@ _gitshort="${_githash:0:7}"
 
 pkgname=rpi-kernel
 version=4.19.127
-revision=1
+revision=2
 wrksrc="linux-${_githash}"
 maintainer="Peter Bui <pbui@github.bx612.space>"
 homepage="http://www.kernel.org"
@@ -64,7 +64,7 @@ do_configure() {
 	case "$XBPS_TARGET_MACHINE" in
 		# RPi3
 		aarch64*)
-			target=bcmrpi3_defconfig
+			target=bcm2711_defconfig
 			;;
 		# RPi2 / RPi3
 		armv7l*)
@@ -128,7 +128,7 @@ do_install() {
 	#move rpi3's dtb that ended up in /boot/broadcom
 	case "$XBPS_TARGET_MACHINE" in
 	aarch64*)
-		mv ${DESTDIR}/boot/broadcom/bcm2710-rpi-3-b.dtb ${DESTDIR}/boot
+		mv ${DESTDIR}/boot/broadcom/bcm2711-rpi-4-b.dtb ${DESTDIR}/boot
 		;;
 	esac