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 ArmVirtPkg/ArmVirtPkg.dec
34 EmbeddedPkg/EmbeddedPkg.dec
49 gVirtioMmioTransportGuid
53 gArmVirtTokenSpaceGuid.PcdArmPsciMethod
54 gArmVirtTokenSpaceGuid.PcdFwCfgSelectorAddress
55 gArmVirtTokenSpaceGuid.PcdFwCfgDataAddress
56 gArmVirtTokenSpaceGuid.PcdFwCfgDmaAddress
57 gArmVirtTokenSpaceGuid.PcdArmGicRevision
58 gArmTokenSpaceGuid.PcdGicDistributorBase
59 gArmTokenSpaceGuid.PcdGicRedistributorsBase
60 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
61 gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
62 gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
63 gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
64 gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
65 gArmPlatformTokenSpaceGuid.PcdPL031RtcBase
66 gArmPlatformTokenSpaceGuid.PcdPciBusMin
67 gArmPlatformTokenSpaceGuid.PcdPciBusMax
68 gArmPlatformTokenSpaceGuid.PcdPciIoBase
69 gArmPlatformTokenSpaceGuid.PcdPciIoSize
70 gArmPlatformTokenSpaceGuid.PcdPciIoTranslation
71 gArmPlatformTokenSpaceGuid.PcdPciMmio32Base
72 gArmPlatformTokenSpaceGuid.PcdPciMmio32Size
73 gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress
74 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
77 gArmVirtTokenSpaceGuid.PcdPureAcpiBoot
80 gEfiDevicePathProtocolGuid