2 # The KvmtoolPlatformDxe performs the platform specific initialization like:
3 # - It decides if the firmware should expose ACPI or Device Tree-based
4 # hardware description to the operating system.
6 # Copyright (c) 2018 - 2020, ARM Limited. All rights reserved.
8 # SPDX-License-Identifier: BSD-2-Clause-Patent
13 INF_VERSION = 0x0001001B
14 BASE_NAME = KvmtoolPlatformDxe
15 FILE_GUID = 7479CCCD-D721-442A-8C73-A72DBB886669
16 MODULE_TYPE = DXE_DRIVER
18 ENTRY_POINT = KvmtoolPlatformDxeEntryPoint
24 ArmVirtPkg/ArmVirtPkg.dec
25 EmbeddedPkg/EmbeddedPkg.dec
27 MdeModulePkg/MdeModulePkg.dec
32 UefiBootServicesTableLib
36 gEdkiiPlatformHasAcpiGuid ## SOMETIMES_PRODUCES ## PROTOCOL
37 gEdkiiPlatformHasDeviceTreeGuid ## SOMETIMES_PRODUCES ## PROTOCOL
40 gArmVirtTokenSpaceGuid.PcdForceNoAcpi