/resources/grub/patches/

• ../
• 0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch
• 0002-say-the-name-libreboot-in-the-grub-menu.patch
• 0005-at-keyboard-timeout.patch