Detect a Pi 5 for its kernel instead of a per-host flag

`pi_standard_setup_install_pi5_kernel` now defaults to "auto": the Pi 5 kernel is
installed when the device tree says Raspberry Pi 5, which covers a card moved over from
a Pi 4 and is a no-op on current images that ship it. true/false still force it, and
musicdolphin no longer needs its own override.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
2026-10-02 23:14:18 +02:00
parent a6d4180b2b
commit e3722d2648
3 changed files with 12 additions and 6 deletions

View File

@@ -11,6 +11,7 @@ ansible_become_password: "raspberry"
ansible_become: true
# Install the Pi 5 (BCM2712) kernel, kernel_2712.img (an arm64 package, hence the :arm64 on
# the armhf userland). A card imaged on a Pi 4 does not have
# it, and a Pi 5 will not boot without. Harmless on a Pi 4, which keeps its own kernel.
pi_standard_setup_install_pi5_kernel: false
# an armhf userland). A card imaged on a Pi 4 does not have it, and a Pi 5 will not boot
# without. "auto" installs it when the detected model is a Pi 5 (a no-op on current
# images, which ship it); set true/false to force.
pi_standard_setup_install_pi5_kernel: auto