init. 1AQQW051HEADmaster

1 files changed, 28 insertions, 0 deletions

diff --git a/EDK/Foundation/Framework/Ppi/Reset/Reset.c b/EDK/Foundation/Framework/Ppi/Reset/Reset.c
new file mode 100644
index 0000000..6f680b2
--- /dev/null
+++ b/EDK/Foundation/Framework/Ppi/Reset/Reset.c
@@ -0,0 +1,28 @@
+/*++
+
+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:
+
+  Reset.c
+
+Abstract:
+
+  Reset Service PPI GUID as defined in Tiano
+
+--*/
+
+#include "Tiano.h"
+#include "Pei.h"
+#include EFI_PPI_DEFINITION (Reset)
+
+EFI_GUID  gPeiResetPpiGuid = PEI_RESET_PPI_GUID;
+
+EFI_GUID_STRING(&gPeiResetPpiGuid, "Reset", "Reset PPI");