2 # Device tree enumeration DXE driver for ARM Virtual Machines
4 # Copyright (c) 2014, Linaro Ltd. All rights reserved.<BR>
6 # This program and the accompanying materials are
7 # 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
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.
17 INF_VERSION = 0x00010005
18 BASE_NAME = VirtFdtDxe
19 FILE_GUID = 9AD7DCB4-E6EC-472E-96BF-81C219A3F77E
20 MODULE_TYPE = DXE_DRIVER
23 ENTRY_POINT = InitializeVirtFdtDxe
30 MdeModulePkg/MdeModulePkg.dec
32 ArmPlatformPkg/ArmPlatformPkg.dec
33 ArmPlatformPkg/ArmVirtualizationPkg/ArmVirtualizationPkg.dec
34 EmbeddedPkg/EmbeddedPkg.dec
47 gVirtioMmioTransportGuid
50 gArmVirtualizationTokenSpaceGuid.PcdDeviceTreeBaseAddress
51 gArmVirtualizationTokenSpaceGuid.PcdArmPsciMethod
52 gArmVirtualizationTokenSpaceGuid.PcdFwCfgSelectorAddress
53 gArmVirtualizationTokenSpaceGuid.PcdFwCfgDataAddress
54 gArmTokenSpaceGuid.PcdGicDistributorBase
55 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
56 gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
57 gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
58 gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
59 gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
60 gArmPlatformTokenSpaceGuid.PcdPL031RtcBase
61 gArmPlatformTokenSpaceGuid.PcdPciBusMin
62 gArmPlatformTokenSpaceGuid.PcdPciBusMax
63 gArmPlatformTokenSpaceGuid.PcdPciIoBase
64 gArmPlatformTokenSpaceGuid.PcdPciIoSize
65 gArmPlatformTokenSpaceGuid.PcdPciIoTranslation
66 gArmPlatformTokenSpaceGuid.PcdPciMmio32Base
67 gArmPlatformTokenSpaceGuid.PcdPciMmio32Size
68 gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress
69 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
72 gEfiDevicePathProtocolGuid