+/** @file\r
+ GUID for UEFI variables that are specific to OVMF configuration.\r
+\r
+ Copyright (C) 2014, Red Hat, Inc.\r
+\r
+ This program and the accompanying materials are licensed and made available\r
+ under the terms and conditions of the BSD License that accompanies this\r
+ distribution. The full text of the license may be found at\r
+ http://opensource.org/licenses/bsd-license.php.\r
+\r
+ THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, WITHOUT\r
+ WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+**/\r
+\r
+#ifndef __OVMF_PLATFORM_CONFIG_H__\r
+#define __OVMF_PLATFORM_CONFIG_H__\r
+\r
+#define OVMF_PLATFORM_CONFIG_GUID \\r
+{0x7235c51c, 0x0c80, 0x4cab, {0x87, 0xac, 0x3b, 0x08, 0x4a, 0x63, 0x04, 0xb1}}\r
+\r
+extern EFI_GUID gOvmfPlatformConfigGuid;\r
+\r
+#endif\r