2 files changed, 86 insertions, 0 deletions
diff --git a/EDK/Foundation/Framework/Ppi/SecPlatformInformation/SecPlatformInformation.c b/EDK/Foundation/Framework/Ppi/SecPlatformInformation/SecPlatformInformation.c
new file mode 100644
index 0000000..ecc0c34
--- /dev/null
+++ b/EDK/Foundation/Framework/Ppi/SecPlatformInformation/SecPlatformInformation.c
@@ -0,0 +1,29 @@
+/*++
+
+Copyright (c) 2004, Intel Corporation                                                         
+All rights reserved. This program and the accompanying materials                          
+are licensed and made available under the terms and conditions of the BSD License         
+which accompanies this distribution.  The full text of the license may be found at        
+http://opensource.org/licenses/bsd-license.php                                            
+                                                                                          
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,                     
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             
+
+Module Name:
+
+  SecPlatformInformation.c
+
+Abstract:
+
+  Sec Platform Information as defined in PEI EAS
+
+--*/
+
+#include "Tiano.h"
+#include "PeiBind.h"
+#include "PeiApi.h"
+#include EFI_PPI_DEFINITION (SecPlatformInformation)
+
+EFI_GUID  gEfiSecPlatformInformationPpiGuid = EFI_SEC_PLATFORM_INFORMATION_GUID;
+
+EFI_GUID_STRING(&gEfiSecPlatformInformationPpiGuid, "SecPlatformInformation", "Sec Platform Information");
diff --git a/EDK/Foundation/Framework/Ppi/SecPlatformInformation/SecPlatformInformation.h b/EDK/Foundation/Framework/Ppi/SecPlatformInformation/SecPlatformInformation.h
new file mode 100644
index 0000000..f9ea0e6
--- /dev/null
+++ b/EDK/Foundation/Framework/Ppi/SecPlatformInformation/SecPlatformInformation.h
@@ -0,0 +1,57 @@
+/*++
+
+Copyright (c) 2004, Intel Corporation                                                         
+All rights reserved. This program and the accompanying materials                          
+are licensed and made available under the terms and conditions of the BSD License         
+which accompanies this distribution.  The full text of the license may be found at        
+http://opensource.org/licenses/bsd-license.php                                            
+                                                                                          
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,                     
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             
+
+Module Name:
+
+  SecPlatformInformation.h
+    
+Abstract:
+
+  Sec Platform Information PPI as defined in Tiano
+
+--*/
+
+#ifndef _PEI_SEC_PLATFORM_INFORMATION_PPI_H
+#define _PEI_SEC_PLATFORM_INFORMATION_PPI_H
+
+#define EFI_SEC_PLATFORM_INFORMATION_GUID \
+  { \
+    0x6f8c2b35, 0xfef4, 0x448d, 0x82, 0x56, 0xe1, 0x1b, 0x19, 0xd6, 0x10, 0x77 \
+  }
+
+EFI_FORWARD_DECLARATION (EFI_SEC_PLATFORM_INFORMATION_PPI);
+
+extern EFI_GUID gEfiSecPlatformInformationPpiGuid;
+
+typedef struct {
+  UINTN HealthFlags;
+} SEC_PLATFORM_INFORMATION_RECORD;
+
+typedef struct {
+  UINTN BootPhase;      // entry r20 value
+  UINTN UniqueId;       // PAL arbitration ID
+  UINTN HealthStat;     // Health Status
+  UINTN PALRetAddress;  // return address to PAL
+} IPF_HANDOFF_STATUS;
+
+typedef
+EFI_STATUS
+(EFIAPI *SEC_PLATFORM_INFORMATION) (
+  IN EFI_PEI_SERVICES                    **PeiServices,
+  IN OUT UINT64                          *StructureSize,
+  IN OUT SEC_PLATFORM_INFORMATION_RECORD * PlatformInformationRecord
+  );
+
+typedef struct _EFI_SEC_PLATFORM_INFORMATION_PPI {
+  SEC_PLATFORM_INFORMATION  PlatformInformation;
+} EFI_SEC_PLATFORM_INFORMATION_PPI;
+
+#endif