Bug#929427: grub-common: Please add support for devicetree command

[Colin Watson]

On Thu, May 23, 2019 at 11:22:57AM +0100, Dimitri John Ledkov wrote:
> I am booting from an arm64 laptop, with secureboot turned off, and I
> need to provide a devicetree blob for the time being.
> 
> I adjusted flash-kernel database, to install device tree blob into
> /boot, however 10_linux in grub doesn't automatically pick it up.
> 
> The attached patch adds tests in 10_linux, similar to how initrd is
> detected and generates menu entries with devicetree command and I
> manage to boot and upgrade kernels on arm64 laptop.
> 
> Please consider including this patch in Debian.

Could you please send this patch upstream (rebased as necessary) first?
We can then cherry-pick it, but I don't see why this would need to be
Debian-specific.

Thanks,

-- 
Colin Watson                                       [cjwatson at debian.org]