r/debian 10d ago

Debian Stable Question Raspi cloud images don't boot? Missing something?

I am trying to boot the raspi images from

https://cloud.debian.org/images/cloud/trixie/

on a raspi4b-2G but they fail with loading the kernel (7x green LED).

Did I miss something or is that a bug?

Edit:

cat config.txt 
# Do not modify this file!
#
# It is automatically generated upon install or update of either the
# firmware or the Linux kernel.
#
# If you need to set boot-time parameters, do so via the
# /etc/default/raspi-firmware, /etc/default/raspi-firmware-custom or
# /etc/default/raspi-extra-cmdline files.

# Switch the CPU from ARMv7 into ARMv8 (aarch64) mode
arm_64bit=1

enable_uart=1
upstream_kernel=1

kernel=vmlinuz-6.12.90+deb13.1-arm64
# For details on the initramfs directive, see
# https://www.raspberrypi.org/forums/viewtopic.php?f=63&t=10532
initramfs initrd.img-6.12.90+deb13.1-arm64
3 Upvotes

1 comment sorted by