ArmVirtPkg: modules used on Xen\r
F: ArmVirtPkg/ArmVirtXen.*\r
F: ArmVirtPkg/Library/XenArmGenericTimerVirtCounterLib/\r
-F: ArmVirtPkg/Library/XenRealTimeClockLib/\r
F: ArmVirtPkg/Library/XenVirtMemInfoLib/\r
F: ArmVirtPkg/PrePi/\r
F: ArmVirtPkg/XenAcpiPlatformDxe/\r
F: OvmfPkg/Include/IndustryStandard/Xen/\r
F: OvmfPkg/Include/Library/XenHypercallLib.h\r
F: OvmfPkg/Include/Library/XenIoMmioLib.h\r
+F: OvmfPkg/Include/Library/XenPlatformLib.h\r
F: OvmfPkg/Include/Protocol/XenBus.h\r
F: OvmfPkg/Include/Protocol/XenIo.h\r
F: OvmfPkg/Library/PciHostBridgeLib/XenSupport.c\r
F: OvmfPkg/Library/XenConsoleSerialPortLib/\r
F: OvmfPkg/Library/XenHypercallLib/\r
F: OvmfPkg/Library/XenIoMmioLib/\r
+F: OvmfPkg/Library/XenPlatformLib/\r
+F: OvmfPkg/Library/XenRealTimeClockLib/\r
F: OvmfPkg/OvmfXen.*\r
+F: OvmfPkg/OvmfXenElfHeaderGenerator.c\r
F: OvmfPkg/PlatformPei/MemDetect.c\r
F: OvmfPkg/PlatformPei/Platform.*\r
F: OvmfPkg/PlatformPei/Xen.*\r
F: OvmfPkg/SmbiosPlatformDxe/*Xen.c\r
F: OvmfPkg/XenBusDxe/\r
F: OvmfPkg/XenIoPciDxe/\r
+F: OvmfPkg/XenIoPvhDxe/\r
+F: OvmfPkg/XenPlatformPei/\r
F: OvmfPkg/XenPvBlkDxe/\r
+F: OvmfPkg/XenResetVector/\r
+F: OvmfPkg/XenTimerDxe/\r
R: Anthony Perard <anthony.perard@citrix.com>\r
R: Julien Grall <julien.grall@arm.com>\r
\r