heads/boards/t420
Matt DeVillier 6df281813f Specify 'friendly' board name vs overriding CONFIG_BOOT_GUI_MENU_NAME
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>
2020-10-27 16:19:46 -04:00
..
t420.config Specify 'friendly' board name vs overriding CONFIG_BOOT_GUI_MENU_NAME 2020-10-27 16:19:46 -04:00