/components/gnuefi/patches/
drwxr-xr-x [up]
-rw-r--r-- 2017-01-11 12:12 -0800 1669 01-make_default.patch
-rw-r--r-- 2017-01-11 12:12 -0800 716 02-efibind.patch
-rw-r--r-- 2017-01-11 12:12 -0800 618 03-elf_x86_64_efi.patch
-rw-r--r-- 2017-01-11 12:12 -0800 527 04-reloc_x86_64.patch