/resources/grub/patches/
../
0001-mitigate-grub-s-missing-characters-for-borders-arrow.patch
0002-say-the-name-libreboot-in-the-grub-menu.patch
0003-specifically-use-python3-in-gentpl.py.patch
0004-force-terminal_output-to-console-mode.patch
0005-Fix-PS-2-scancode-set-inconsistency.patch