diff options
Diffstat (limited to 'meta/classes/grub-efi-cfg.bbclass')
| -rw-r--r-- | meta/classes/grub-efi-cfg.bbclass | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/meta/classes/grub-efi-cfg.bbclass b/meta/classes/grub-efi-cfg.bbclass index 730323c72e..85173c91fc 100644 --- a/meta/classes/grub-efi-cfg.bbclass +++ b/meta/classes/grub-efi-cfg.bbclass @@ -22,6 +22,7 @@ GRUB_CFG_LIVE = "${S}/grub_live.cfg" GRUB_TIMEOUT ?= "10" #FIXME: build this from the machine config GRUB_OPTS ?= "serial --unit=0 --speed=115200 --word=8 --parity=no --stop=1" +KERNEL_IMAGETYPE ??= "bzImage" EFIDIR = "/EFI/BOOT" GRUB_ROOT ?= "${ROOT}" @@ -97,7 +98,8 @@ python build_efi_cfg() { lb = label if label == "install": lb = "install-efi" - cfgfile.write('linux /vmlinuz LABEL=%s' % (lb)) + kernel = localdata.getVar('KERNEL_IMAGETYPE') + cfgfile.write('linux /%s LABEL=%s' % (kernel, lb)) cfgfile.write(' %s' % replace_rootfs_uuid(d, root)) |