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
48 gVirtioMmioTransportGuid
52 gArmVirtualizationTokenSpaceGuid.PcdArmPsciMethod
53 gArmVirtualizationTokenSpaceGuid.PcdFwCfgSelectorAddress
54 gArmVirtualizationTokenSpaceGuid.PcdFwCfgDataAddress
55 gArmTokenSpaceGuid.PcdGicDistributorBase
56 gArmTokenSpaceGuid.PcdGicRedistributorsBase
57 gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase
58 gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum
59 gArmTokenSpaceGuid.PcdArmArchTimerIntrNum
60 gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum
61 gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum
62 gArmPlatformTokenSpaceGuid.PcdPL031RtcBase
63 gArmPlatformTokenSpaceGuid.PcdPciBusMin
64 gArmPlatformTokenSpaceGuid.PcdPciBusMax
65 gArmPlatformTokenSpaceGuid.PcdPciIoBase
66 gArmPlatformTokenSpaceGuid.PcdPciIoSize
67 gArmPlatformTokenSpaceGuid.PcdPciIoTranslation
68 gArmPlatformTokenSpaceGuid.PcdPciMmio32Base
69 gArmPlatformTokenSpaceGuid.PcdPciMmio32Size
70 gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress
71 gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration
74 gEfiDevicePathProtocolGuid