--- /dev/null
+## @file\r
+# Device tree enumeration DXE driver for ARM Virtual Machines\r
+#\r
+# Copyright (c) 2014, Linaro Ltd. All rights reserved.<BR>\r
+#\r
+# This program and the accompanying materials are\r
+# licensed and made available under the terms and conditions of the BSD License\r
+# which accompanies this distribution. The full text of the license may be found at\r
+# http://opensource.org/licenses/bsd-license.php\r
+#\r
+# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+#\r
+##\r
+\r
+[Defines]\r
+ INF_VERSION = 0x00010005\r
+ BASE_NAME = VirtFdtDxe\r
+ FILE_GUID = 9AD7DCB4-E6EC-472E-96BF-81C219A3F77E\r
+ MODULE_TYPE = DXE_DRIVER\r
+ VERSION_STRING = 1.0\r
+\r
+ ENTRY_POINT = InitializeVirtFdtDxe\r
+\r
+[Sources]\r
+ VirtFdtDxe.c\r
+\r
+[Packages]\r
+ MdePkg/MdePkg.dec\r
+ MdeModulePkg/MdeModulePkg.dec\r
+ ArmPkg/ArmPkg.dec\r
+ ArmPlatformPkg/ArmPlatformPkg.dec\r
+ ArmVirtPkg/ArmVirtPkg.dec\r
+ EmbeddedPkg/EmbeddedPkg.dec\r
+ OvmfPkg/OvmfPkg.dec\r
+\r
+[LibraryClasses]\r
+ BaseLib\r
+ PcdLib\r
+ UefiDriverEntryPoint\r
+ DxeServicesLib\r
+ FdtLib\r
+ VirtioMmioDeviceLib\r
+ HobLib\r
+ XenIoMmioLib\r
+\r
+[Guids]\r
+ gFdtTableGuid\r
+ gVirtioMmioTransportGuid\r
+ gFdtHobGuid\r
+\r
+[Pcd]\r
+ gArmVirtTokenSpaceGuid.PcdArmPsciMethod\r
+ gArmVirtTokenSpaceGuid.PcdFwCfgSelectorAddress\r
+ gArmVirtTokenSpaceGuid.PcdFwCfgDataAddress\r
+ gArmTokenSpaceGuid.PcdGicDistributorBase\r
+ gArmTokenSpaceGuid.PcdGicRedistributorsBase\r
+ gArmTokenSpaceGuid.PcdGicInterruptInterfaceBase\r
+ gArmTokenSpaceGuid.PcdArmArchTimerSecIntrNum\r
+ gArmTokenSpaceGuid.PcdArmArchTimerIntrNum\r
+ gArmTokenSpaceGuid.PcdArmArchTimerVirtIntrNum\r
+ gArmTokenSpaceGuid.PcdArmArchTimerHypIntrNum\r
+ gArmPlatformTokenSpaceGuid.PcdPL031RtcBase\r
+ gArmPlatformTokenSpaceGuid.PcdPciBusMin\r
+ gArmPlatformTokenSpaceGuid.PcdPciBusMax\r
+ gArmPlatformTokenSpaceGuid.PcdPciIoBase\r
+ gArmPlatformTokenSpaceGuid.PcdPciIoSize\r
+ gArmPlatformTokenSpaceGuid.PcdPciIoTranslation\r
+ gArmPlatformTokenSpaceGuid.PcdPciMmio32Base\r
+ gArmPlatformTokenSpaceGuid.PcdPciMmio32Size\r
+ gEfiMdePkgTokenSpaceGuid.PcdPciExpressBaseAddress\r
+ gEfiMdeModulePkgTokenSpaceGuid.PcdPciDisableBusEnumeration\r
+\r
+[Protocols]\r
+ gEfiDevicePathProtocolGuid\r
+\r
+[Depex]\r
+ TRUE\r