1 files changed, 25 insertions, 0 deletions

diff --git a/gitlab/issues/target_missing/host_missing/accel_missing/1252.toml b/gitlab/issues/target_missing/host_missing/accel_missing/1252.toml
new file mode 100644
index 000000000..ec837d470
--- /dev/null
+++ b/gitlab/issues/target_missing/host_missing/accel_missing/1252.toml
@@ -0,0 +1,25 @@
+id = 1252
+title = "Debian Raspberry Pi images do not boot with version 7 and higher"
+state = "closed"
+created_at = "2022-10-13T13:23:24.437Z"
+closed_at = "2022-10-18T08:48:10.491Z"
+labels = ["Closed::Invalid"]
+url = "https://gitlab.com/qemu-project/qemu/-/issues/1252"
+host-os = "Ubuntu 20.04"
+host-arch = "x64"
+qemu-version = "v7.0.0, v7.1.0"
+guest-os = "Debian"
+guest-arch = "Raspberry Pi 4 Arm64"
+description = """The Debian Bullseye RPi4 4GB image [here](https://raspi.debian.net/tested-images/) does not boot with versions 7 and higher, while it does boot with v6.2.0.  The Bookworm image works with v7."""
+reproduce = """0. `export DEB_VERS=5.10.0-11`
+1. `wget https://raspi.debian.net/tested/20220121_raspi_4_bullseye.img.xz`
+2. `dd if=/dev/null of=disk-$DEB_VERS.img bs=1M seek=10240`
+    * NB: This creates a 10 GB file 
+3. `xzcat $RPI_IMG | dd of=disk-$DEB_VERS.img conv=notrunc status=progress`
+4. `partx -a -v disk-$DEB_VERS.img`
+5. `mount /dev/loop0p1 /mnt`
+6. `cp /mnt/initrd.img-$DEB_VERS-arm64 .`
+7. `cp /mnt/vmlinuz-$DEB_VERS-arm64 .`
+8. `umount /mnt`
+9. `qemu-system-aarch64 -M virt -m 4096 -cpu max -drive format=raw,file=disk-$DEB_VERS.img -nographic -append "console=tty0 console=ttyAMA0,115200 console=ttyS1,115200 root=LABEL=RASPIROOT rw fsck.repair=yes net.ifnames=0 cma=64M rootwait" -initrd initrd.img-$DEB_VERS-arm64 -kernel vmlinuz-$DEB_VERS-arm64`"""
+additional = """The URL for the image in step 1 has been known to change, so if you get a 404, go to the URL above and find the correct one."""