We do so for the EFI binary already and it aids debugging.
Cc: Alexander Graf agraf@suse.de Signed-off-by: Andreas Färber afaerber@suse.de --- include/config_distro_bootcmd.h | 4 ++++ 1 file changed, 4 insertions(+)
diff --git a/include/config_distro_bootcmd.h b/include/config_distro_bootcmd.h index 8f14457..0cf74e2 100644 --- a/include/config_distro_bootcmd.h +++ b/include/config_distro_bootcmd.h @@ -149,6 +149,10 @@ "${prefix}${dtb_prefix}" \ "${dtb_vendor_prefix}" \ "${efi_fdtfile}; then " \ + "echo Found ${prefix}" \ + "${dtb_prefix}" \ + "${dtb_vendor_prefix}" \ + "${efi_fdtfile}; " \ "run load_efi_dtb; " \ "fi; " \ "done; " \