7f3c9ffe5b0222527955092c0bb24472cead5ee4
Different architectures and/or configurations can use a different name for the Linux kernel image file. The `gen-grub-cfg.sh` shell script needs to be able to identify the correct file name in the GRUB configuration fragment it embeds in the root filesystem image.
Description
No description provided
Languages
Shell
79.6%
Makefile
20.4%