X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=AUTHORS;h=40dd42500e390a057dcbdfcd9f9bd145387f75c4;hb=796f2fb04aa36d2db9371c270077515afd919c4e;hp=bd8127de5416fe3f412433856f4ab68764627f5a;hpb=c5c57223bb44042f2ab4ee2c44049a8913d47c33;p=debian%2Fefibootmgr

diff --git a/AUTHORS b/AUTHORS
index bd8127d..40dd425 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -16,3 +16,7 @@ dann frazier <dannf@debian.org>
 Joshua Giles <Joshua_Giles@dell.com>
 - walk the PCI path inserting parent bridge device path components for
   network boot and EDD30 entries.
+
+Alex Williamson <alex.williamson@hp.com>
+- Patch to efi.c and efibootmgr.c for handling BootXXXX values
+  using uppercase hex rather than lowercase, per EFI 1.10 spec.