So far, I have been using images from this website to install Debian on
a Raspberry Pi: https://raspi.debian.net/tested-images/
I have written the images to an SD card several times in the past, and
they are then bootable on a Raspberry Pi.
"It is stated at https://raspi.debian.net//:
Raspberry Pi Debian images
This project has been superseded"
"Are you looking for pure Debian images to use on your Raspberry Pi?
Great! However, the project that built them in this web page
(https://raspi.debian.net/) has been superseded by the images generated
by the Debian Cloud Images."
You can find the daily generated images at: Debian 13 “Trixie” (Stable):
Image download (for example) ->
https://cloud.debian.org/images/cloud/trixie/daily/latest/debian-13-raspi-arm64-daily.tar.xz
The names debian-13-raspi-arm64.tar.xz,
debian-13-nocloud-arm64-20250806-2196.tar.xz, and
debian-14-raspi-arm64-daily.tar.xz clearly suggest to me that the images
could be used for a Raspberry Pi.
On https://raspi.debian.net/ i can read: "Do note that the images are
only available for the 64-bit-capable members of the Raspberry Pi Family
(that is, families 3, 4 and 5). RPi 5 only works with Debian 14 “Forky”
(testing) or Sid (unstable)."
As an alternative, I download the Forky image from
https://cloud.debian.org/images/cloud/forky/daily/latest/debian-14-raspi-arm64-daily.tar.xz
<https://cloud.debian.org/images/cloud/forky/daily/latest/debian-14-raspi-arm64-daily.tar.xz>
After unpacking, I write the disk.raw with the Raspberry Pi Imager or
with the program "Write for Drive Images/gnome-disk-utility 46.1" or
also with dd
sudo dd if=debian-14-nocloud-arm64-daily-20251202-2314.raw of=/dev/sdb
bs=10M status=progress
[sudo: authenticate] Password:
3221225472 bytes (3.2 GB, 3.0 GiB) copied, 145.161 s, 22 MB/ss
307+1 records in
307+1 records out
3221225472 bytes (3.2 GB, 3.0 GiB) copied, 145.164 s, 22 MB/s
The result is always the same, as expected - The boot process does not
start, even though the SD card is recognized. :no:
:geek: -> see image https://forums.debian.net/download/file.php?id=5088
I used various SD cards, always did a sha512sum, and also tried the
oldest available image as a test.
The result is always the same, as expected - The boot process does not
start, even though the SD card is recognized.
I get the same result with a Raspberry Pi 4: the Raspberry Pi does not
boot with the SD card I created.
Is it a *bug* that all SD cards created with debian-1[34]-raspi-arm64.*
images from https://cloud.debian.org/images/cloud/
<https://cloud.debian.org/images/cloud/> do _not boot _from a Raspberry
Pi 4 and 5?
Unfortunately, I cannot find any information at
https://cloud.debian.org/images/cloud/
<https://cloud.debian.org/images/cloud/> or
https://wiki.debian.org/Cloud#FAQ <https://wiki.debian.org/Cloud#FAQ>
about other things that might need to be taken into account or done in
addition, if additional steps are necessary since the changeover to
ensure that the SD cards created are bootable.
Has anyone managed to boot a Raspberry Pi 4 or 5 with an SD card created
using https://cloud.debian.org/images/cloud/
<https://cloud.debian.org/images/cloud/>?
Does anyone have any information about my problem or any tips?
