2 # Xen ARM ACPI Platform Driver using Xen ARM multiboot protocol
4 # Copyright (C) 2016, Linaro Ltd. All rights reserved.
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = XenAcpiPlatformDxe
13 FILE_GUID = 0efc6282-f1e5-469a-8a70-194a8761f9aa
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = XenAcpiPlatformEntryPoint
19 # The following information is for reference only and not required by the build tools.
21 # VALID_ARCHITECTURES = AARCH64
28 ArmVirtPkg/ArmVirtPkg.dec
29 EmbeddedPkg/EmbeddedPkg.dec
31 MdeModulePkg/MdeModulePkg.dec
36 UefiBootServicesTableLib
40 gEfiAcpiTableProtocolGuid ## PROTOCOL ALWAYS_CONSUMED
41 gFdtClientProtocolGuid ## CONSUMES
44 gFdtClientProtocolGuid AND
45 gEfiAcpiTableProtocolGuid