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/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