main/raspberrypi-bootloader: add support for RPi 4

main/raspberrypi-bootloader/APKBUILD

@@ -2,7 +2,7 @@
 # Maintainer: Timo Teräs <timo.teras@iki.fi>
 pkgname=raspberrypi-bootloader
 pkgver=1.20190925
-pkgrel=0
+pkgrel=1
 pkgdesc="Bootloader files for the Raspberry Pi"
 url=https://github.com/raspberrypi/firmware
 arch="armhf armv7 aarch64"
@@ -17,7 +17,7 @@ subpackages="$pkgname-experimental $pkgname-debug $pkgname-cutdown $pkgname-doc"
 builddir="${srcdir}/firmware-${pkgver}"
 
 package() {
-	local fw; for fw in bootcode.bin fixup.dat start.elf; do
+	local fw; for fw in bootcode.bin fixup.dat fixup4.dat start.elf start4.elf; do
 		install -D "$builddir"/boot/$fw \
 			"$pkgdir"/boot/$fw
 	done
@@ -27,7 +27,7 @@ package() {
 
 experimental() {
 	pkgdesc="Experimental firmware with additional codecs"
-	local fw; for fw in start_x.elf fixup_x.dat; do
+	local fw; for fw in start_x.elf start4x.elf fixup_x.dat fixup4x.dat; do
 		install -D "$builddir"/boot/$fw \
 				"$subpkgdir"/boot/$fw
 	done
@@ -35,7 +35,7 @@ experimental() {
 
 debug() {
 	pkgdesc="Debug firmware"
-    local fw; for fw in start_db.elf fixup_db.dat; do
+    local fw; for fw in start_db.elf start4db.elf fixup_db.dat fixup4db.dat; do
 		install -D "$builddir"/boot/$fw \
 			"$subpkgdir"/boot/$fw
 	done
@@ -43,7 +43,7 @@ debug() {
 
 cutdown() {
 	pkgdesc="Cut-down firmware for lower memory settings"
-	local fw; for fw in start_cd.elf fixup_cd.dat; do
+	local fw; for fw in start_cd.elf start4cd.elf fixup_cd.dat fixup4cd.dat; do
 		install -D "$builddir"/boot/$fw \
 			"$subpkgdir"/boot/$fw
 	done