On 19.04.2022 17:40, Demi Marie Obenour wrote: > --- a/xen/include/efi/efiapi.h > +++ b/xen/include/efi/efiapi.h > @@ -882,6 +882,9 @@ typedef struct _EFI_BOOT_SERVICES { > #define SAL_SYSTEM_TABLE_GUID \ > { 0xeb9d2d32, 0x2d88, 0x11d3, {0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, > 0x4d} } > > +#define ESRT_GUID \ > + { 0xb122a263, 0x3661, 0x4f68, {0x99, 0x29, 0x78, 0xf8, 0xb0, 0xd6, 0x21, > 0x80} } > +
I'm sorry, yet one more remark: This should go here only if the gnu-efi package also has it there. Otherwise it should be added next to the other GUIDs in efi/boot.c. This is to make updating of this header from newer gnu-efi versions as straightforward as possible. Also please once again use the name from the spec, EFI_SYSTEM_RESOURCE_TABLE_GUID. Jan