Bug#1106381: flash-kernel: Add Raspberry Pi 4 Model B support

[Kurva Prashanth <krvprashanth@gmail.com>]

Package: flash-kernel

Version: 3.109

Severity: wishlist

X-Debbugs-Cc: krvprashanth@gmail.com

Dear Maintainer,

I have tested flash-kernel on a Raspberry Pi 4 Model B Rev 1.5 running

Bookworm[1] with the following entry in /etc/flash-kernel/db:

Machine: Raspberry Pi 4 Model B Rev 1.5

Kernel-Flavors: arm64

DTB-Id: broadcom/bcm2711-rpi-4-b.dtb

U-Boot-Script-Name: bootscr.uboot-generic

Required-Packages: u-boot-tools

Boot-Script-Path: /boot/boot.scr

Please add machine db entry for Raspberry Pi 4 Model B

[1] https://raspi.debian.net/tested/20231109_raspi_4_bookworm.img.xz

Best regards,

Kurva Prashanth