Bug#991141: possible fix

2021-07-22 Thread Michael Walle
It seems that debian-cd (re)builds its own efi.img and doesn't add the dtbs but only the EFI/ subdirectory from the d-i efi.img. This might fix the problem, please take it with a grain of salt because I was unable to actually test it. I've tried the commands by hand though. diff --git

Bug#991141: debian-cd: arm64 device trees not included in ESP

2021-07-15 Thread Michael Walle
Package: debian-cd Severity: normal It is useful to have the device trees available on the ESP. If we have these, (vanilla) u-boot should be able to boot any board which has a dtb in the kernel out-of-the box using EFI. The (arm64) mini.iso already includes the DTBs in /dtb (which is the path