From 3a0d599ff6e763bff85d7c6cda512ad5062e7488 Mon Sep 17 00:00:00 2001 From: "Dustin C. Hatch" Date: Fri, 22 Aug 2025 09:01:04 -0500 Subject: [PATCH] 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. --- boot/grub2/gen-grub-cfg.sh | 3 ++- external.mk | 14 +++++++++++++- 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/boot/grub2/gen-grub-cfg.sh b/boot/grub2/gen-grub-cfg.sh index 03c13dc..84e379a 100755 --- a/boot/grub2/gen-grub-cfg.sh +++ b/boot/grub2/gen-grub-cfg.sh @@ -3,10 +3,11 @@ vers=${BR2_EXTERNAL_AIMEEOS_VERSION} br2_vers=${BR2_VERSION_FULL} +kernel_filename=$1 cat > "${TARGET_DIR}"/boot/grub.cfg <