--- /dev/null
+/** @file\r
+ GUID definition for the Linux Initrd media device path\r
+\r
+ Copyright (c) 2020, Arm, Ltd. All rights reserved.<BR>\r
+\r
+ SPDX-License-Identifier: BSD-2-Clause-Patent\r
+**/\r
+\r
+#ifndef LINUX_EFI_INITRD_MEDIA_GUID_H__\r
+#define LINUX_EFI_INITRD_MEDIA_GUID_H__\r
+\r
+#define LINUX_EFI_INITRD_MEDIA_GUID \\r
+ {0x5568e427, 0x68fc, 0x4f3d, {0xac, 0x74, 0xca, 0x55, 0x52, 0x31, 0xcc, 0x68}}\r
+\r
+extern EFI_GUID gLinuxEfiInitrdMediaGuid;\r
+\r
+#endif\r
gMicrosoftVendorGuid = {0x77fa9abd, 0x0359, 0x4d32, {0xbd, 0x60, 0x28, 0xf4, 0xe7, 0x8f, 0x78, 0x4b}}\r
gEfiLegacyBiosGuid = {0x2E3044AC, 0x879F, 0x490F, {0x97, 0x60, 0xBB, 0xDF, 0xAF, 0x69, 0x5F, 0x50}}\r
gEfiLegacyDevOrderVariableGuid = {0xa56074db, 0x65fe, 0x45f7, {0xbd, 0x21, 0x2d, 0x2b, 0xdd, 0x8e, 0x96, 0x52}}\r
+ gLinuxEfiInitrdMediaGuid = {0x5568e427, 0x68fc, 0x4f3d, {0xac, 0x74, 0xca, 0x55, 0x52, 0x31, 0xcc, 0x68}}\r
\r
[Ppis]\r
# PPI whose presence in the PPI database signals that the TPM base address\r