DuetPkg/KbcResetDxe/Reset.inf

#/*++
# 
# Copyright (c) 2006 - 2008, 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.inf
#
#  Abstract:
#
#--*/
[Defines]
  INF_VERSION                    = 0x00010005
  BASE_NAME                      = KbcReset
  FILE_GUID                      = 6F0198AA-1F1D-426D-AE3E-39AB633FCC28
  MODULE_TYPE                    = DXE_RUNTIME_DRIVER
  VERSION_STRING                 = 1.0
  EDK_RELEASE_VERSION            = 0x00020000
  EFI_SPECIFICATION_VERSION      = 0x00020000

  ENTRY_POINT                    = InitializeReset

[Packages]
  DuetPkg/DuetPkg.dec
  MdePkg/MdePkg.dec
  IntelFrameworkPkg/IntelFrameworkPkg.dec

[LibraryClasses]
  DebugLib
  UefiBootServicesTableLib
  UefiDriverEntryPoint
  IoLib

[Sources.common]
  Reset.c
  Reset.h

[Sources.ipf]
  Ipf/IpfReset.c

[Sources.ia32]
  Ia32/Ia32Reset.c

[Sources.x64]
  X64/X64Reset.c

[Protocols]
  gEfiResetArchProtocolGuid

[Depex]
  gEfiCpuIoProtocolGuid