Add generic HPET Timer DXE Driver and support libraries

[mirror_edk2.git] / PcAtChipsetPkg / 8259InterruptControllerDxe / 8259.inf

## @file\r
# 8259 Interrupt Controller driver\r
#\r
# Copyright (c) 2005 - 2011, Intel Corporation. All rights reserved.<BR>\r
# This program and the accompanying materials                          \r
# are licensed and made available under the terms and conditions of the BSD License         \r
# which accompanies this 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,                     \r
# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             \r
#\r
##\r
\r
[Defines]\r
  INF_VERSION                    = 0x00010005\r
  BASE_NAME                      = Legacy8259\r
  FILE_GUID                      = 79CA4208-BBA1-4a9a-8456-E1E66A81484E\r
  MODULE_TYPE                    = DXE_DRIVER\r
  VERSION_STRING                 = 1.0\r
  ENTRY_POINT                    = Install8259\r
\r
[Sources]\r
  8259.c\r
  8259.h\r
\r
[Packages]\r
  MdePkg/MdePkg.dec\r
  IntelFrameworkPkg/IntelFrameworkPkg.dec\r
  PcAtChipsetPkg/PcAtChipsetPkg.dec\r
  \r
[LibraryClasses]\r
  UefiBootServicesTableLib\r
  DebugLib\r
  UefiDriverEntryPoint\r
  IoLib\r
  PcdLib\r
  \r
[Protocols]\r
  gEfiLegacy8259ProtocolGuid                    # PROTOCOL ALWAYS_PRODUCED\r
  gEfiPciIoProtocolGuid\r
\r
[Pcd]\r
  gPcAtChipsetPkgTokenSpaceGuid.Pcd8259LegacyModeMask\r
  gPcAtChipsetPkgTokenSpaceGuid.Pcd8259LegacyModeEdgeLevel\r
  \r
[Depex]\r
  TRUE\r
\r