#include <libfdt.h>\r
#include <Library/XenIoMmioLib.h>\r
\r
-#include <Guid/Fdt.h>\r
#include <Guid/VirtioMmioTransport.h>\r
#include <Guid/FdtHob.h>\r
\r
typedef enum {\r
PropertyTypeUnknown,\r
PropertyTypeVirtio,\r
- PropertyTypeUart,\r
PropertyTypeXen,\r
} PROPERTY_TYPE;\r
\r
\r
STATIC CONST PROPERTY CompatibleProperties[] = {\r
{ PropertyTypeVirtio, "virtio,mmio" },\r
- { PropertyTypeUart, "arm,pl011" },\r
{ PropertyTypeXen, "xen,xen" },\r
{ PropertyTypeUnknown, "" }\r
};\r
}\r
}\r
\r
- if (!FeaturePcdGet (PcdPureAcpiBoot)) {\r
- //\r
- // Only install the FDT as a configuration table if we want to leave it up\r
- // to the OS to decide whether it prefers ACPI over DT.\r
- //\r
- Status = gBS->InstallConfigurationTable (&gFdtTableGuid, DeviceTreeBase);\r
- ASSERT_EFI_ERROR (Status);\r
- }\r
-\r
return EFI_SUCCESS;\r
}\r