Dustin C. Hatch 29ed6cc935 gen-grub-cfg: Support different kernel file names ...

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.

2025-08-22 10:00:06 -05:00

..

gen-grub-cfg.sh

gen-grub-cfg: Support different kernel file names

2025-08-22 10:00:06 -05:00

grub.cfg

First working revision

2025-08-17 16:01:40 -05:00