#\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
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