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