mirror of
https://github.com/linuxboot/heads.git
synced 2025-02-08 20:10:09 +00:00
This will allow it to be used elsewhere within the UI. Rename CONFIG_BOOT_GUI_MENU_NAME to better indicate use/function. Signed-off-by: Matt DeVillier <matt.devillier@puri.sm>