diff options
-rw-r--r-- | payloads/external/GRUB2/Kconfig | 10 | ||||
-rw-r--r-- | payloads/external/GRUB2/Makefile.inc | 2 |
2 files changed, 11 insertions, 1 deletions
diff --git a/payloads/external/GRUB2/Kconfig b/payloads/external/GRUB2/Kconfig index 3d0fa6ca81..04f0fa98af 100644 --- a/payloads/external/GRUB2/Kconfig +++ b/payloads/external/GRUB2/Kconfig @@ -11,6 +11,16 @@ config GRUB2_MASTER endchoice +config GRUB2_EXTRA_MODULES + string "Extra modules to include in GRUB image" + help + Space-separated list of additional modules to include. Few common + ones: + * bsd for *BSD + * png/jpg for PNG/JPG images + * gfxmenu for graphical menus (you'll need a theme as well) + * gfxterm_background for setting background + config PAYLOAD_FILE default "payloads/external/GRUB2/grub2/build/default_payload.elf" diff --git a/payloads/external/GRUB2/Makefile.inc b/payloads/external/GRUB2/Makefile.inc index 4b08e7df43..11630c8469 100644 --- a/payloads/external/GRUB2/Makefile.inc +++ b/payloads/external/GRUB2/Makefile.inc @@ -42,7 +42,7 @@ config: checkout grub2: config echo " MAKE GRUB2 $(NAME-y)" $(MAKE) -C grub2/build CC="$(HOSTCC)" - $(MAKE) -C grub2/build default_payload.elf + $(MAKE) -C grub2/build default_payload.elf EXTRA_PAYLOAD_MODULES="$(GRUB2_EXTRA_MODULES)" clean: test -d grub2 && $(MAKE) -C grub2 clean || exit 0 |