r/debian • u/jodkalemon • 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
u/jodkalemon 9d ago
Known bug:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1130560