Home | History | Annotate | Download | only in XenAcpiPlatformDxe 
      1 ## @file

      2 #  Xen ARM ACPI Platform Driver using Xen ARM multiboot protocol

      3 #

      4 #  Copyright (C) 2016, Linaro Ltd. All rights reserved.

      5 #

      6 #  This program and the accompanying materials

      7 #  are licensed and made available under the terms and conditions of the BSD License

      8 #  which accompanies this distribution.  The full text of the license may be found at

      9 #  http://opensource.org/licenses/bsd-license.php

     10 #

     11 #  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,

     12 #  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.

     13 #

     14 ##

     15 
     16 [Defines]
     17   INF_VERSION                    = 0x00010005
     18   BASE_NAME                      = XenAcpiPlatformDxe
     19   FILE_GUID                      = 0efc6282-f1e5-469a-8a70-194a8761f9aa
     20   MODULE_TYPE                    = DXE_DRIVER
     21   VERSION_STRING                 = 1.0
     22   ENTRY_POINT                    = XenAcpiPlatformEntryPoint
     23 
     24 #

     25 # The following information is for reference only and not required by the build tools.

     26 #

     27 #  VALID_ARCHITECTURES           = AARCH64

     28 #

     29 
     30 [Sources]
     31   XenAcpiPlatformDxe.c
     32 
     33 [Packages]
     34   ArmVirtPkg/ArmVirtPkg.dec
     35   MdePkg/MdePkg.dec
     36   MdeModulePkg/MdeModulePkg.dec
     37 
     38 [LibraryClasses]
     39   BaseLib
     40   DebugLib
     41   UefiBootServicesTableLib
     42   UefiDriverEntryPoint
     43 
     44 [Protocols]
     45   gEfiAcpiTableProtocolGuid                     ## PROTOCOL ALWAYS_CONSUMED

     46   gFdtClientProtocolGuid                        ## CONSUMES

     47 
     48 [Depex]
     49   gFdtClientProtocolGuid    AND
     50   gEfiAcpiTableProtocolGuid
     51