0cd0cc0c3b
Construct a human readable platform identifier from GRUB's built-in variables and use it in menu item descriptions. Only add the menu entries for the additional tools (UEFI shell, Memtest86+) if the files exist. Modify baseline's `grub.cfg` to closer match releng. |
||
---|---|---|
.. | ||
airootfs | ||
efiboot/loader | ||
grub | ||
syslinux | ||
bootstrap_packages.x86_64 | ||
packages.x86_64 | ||
pacman.conf | ||
profiledef.sh |