#\r
-# Copyright (c) 2018 - 2021, ARM Limited. All rights reserved.\r
+# Copyright (c) 2018 - 2022, ARM Limited. All rights reserved.\r
#\r
# SPDX-License-Identifier: BSD-2-Clause-Patent\r
#\r
\r
INF MdeModulePkg/Core/Dxe/DxeMain.inf\r
INF MdeModulePkg/Universal/PCD/Dxe/Pcd.inf\r
- INF ArmVirtPkg/VirtioFdtDxe/VirtioFdtDxe.inf\r
- INF ArmVirtPkg/FdtClientDxe/FdtClientDxe.inf\r
+ INF OvmfPkg/Fdt/VirtioFdtDxe/VirtioFdtDxe.inf\r
+ INF EmbeddedPkg/Drivers/FdtClientDxe/FdtClientDxe.inf\r
INF ArmVirtPkg/KvmtoolPlatformDxe/KvmtoolPlatformDxe.inf\r
- INF ArmVirtPkg/HighMemDxe/HighMemDxe.inf\r
+ INF OvmfPkg/Fdt/HighMemDxe/HighMemDxe.inf\r
\r
#\r
# PI DXE Drivers producing Architectural Protocols (EFI Services)\r
INF OvmfPkg/VirtioPciDeviceDxe/VirtioPciDeviceDxe.inf\r
INF OvmfPkg/Virtio10Dxe/Virtio10.inf\r
\r
+!if $(ARCH) == AARCH64\r
+ #\r
+ # ACPI Support\r
+ #\r
+ INF MdeModulePkg/Universal/Acpi/AcpiTableDxe/AcpiTableDxe.inf\r
+ #\r
+ # Dynamic Table fdf\r
+ #\r
+ !include DynamicTablesPkg/DynamicTables.fdf.inc\r
+\r
+ INF ArmVirtPkg/KvmtoolCfgMgrDxe/ConfigurationManagerDxe.inf\r
+!endif\r
+\r
#\r
# TianoCore logo (splash screen)\r
#\r