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

Package:
flash-kernel
Source:
flash-kernel
Submitter:
Kurva Prashanth
Date:
2026-01-28 21:25:10 UTC
Severity:
normal
#1106381#5
Date:
2025-05-23 22:23:48 UTC
From:
To:
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
#1106381#10
Date:
2025-05-23 22:56:57 UTC
From:
To:
Please, review merge request
https://salsa.debian.org/installer-team/flash-kernel/-/merge_requests/71


Thanks & regards,
Kurva Prashanth
#1106381#15
Date:
2026-01-28 14:05:31 UTC
From:
To:
Are there any blockers for Kurva's PR being merged? It seems to have
been left untouched.
#1106381#20
Date:
2026-01-28 21:23:16 UTC
From:
To:
I just commented on the merge request asking about 32-bit support, which
appears to be present in the kernels debian ships.

But yeah, otherwise it looks ok; the .dtb/.dts files are present
upstream and in Debian's kernels.

Sorry for taking so long!

live well,
  vagrant
#1106381#23
Date:
2026-01-28 21:23:16 UTC
From:
To:
I just commented on the merge request asking about 32-bit support, which
appears to be present in the kernels debian ships.

But yeah, otherwise it looks ok; the .dtb/.dts files are present
upstream and in Debian's kernels.

Sorry for taking so long!

live well,
  vagrant