Szerintem igen, különben nem PVHVM-lenne, hanem csak HVM. itt egy dmesg kimenet ahol szerepel a xen szó:
dmesg |grep -i xen
[ 0.000000] DMI: Xen HVM domU, BIOS 4.11.1-7.11.xcpng8. 07/09/2020
[ 0.000000] Hypervisor detected: Xen HVM
[ 0.000000] Xen version 4.11.
[ 0.000000] Xen Platform PCI: I/O protocol version 1
[ 0.000000] Netfront and the Xen platform PCI driver have been compiled for this kernel: unplug emulated NICs.
[ 0.000000] Blkfront and the Xen platform PCI driver have been compiled for this kernel: unplug emulated disks.
[ 0.000000] ACPI: RSDP 0x00000000000EA020 000024 (v02 Xen )
[ 0.000000] ACPI: XSDT 0x00000000FC00D920 000044 (v01 Xen HVM 00000000 HVML 00000000)
[ 0.000000] ACPI: FACP 0x00000000FC00D2D0 0000F4 (v04 Xen HVM 00000000 HVML 00000000)
[ 0.000000] ACPI: DSDT 0x00000000FC0042A0 008FAC (v02 Xen HVM 00000000 INTL 20160527)
[ 0.000000] ACPI: APIC 0x00000000FC00D3D0 000460 (v02 Xen HVM 00000000 HVML 00000000)
[ 0.000000] ACPI: HPET 0x00000000FC00D8B0 000038 (v01 Xen HVM 00000000 HVML 00000000)
[ 0.000000] ACPI: WAET 0x00000000FC00D8F0 000028 (v01 Xen HVM 00000000 HVML 00000000)
[ 0.000000] Booting paravirtualized kernel on Xen HVM
[ 0.000000] xen: PV spinlocks enabled
[ 0.001000] xen:events: Using FIFO-based ABI
[ 0.001000] xen:events: Xen HVM callback vector for event delivery is enabled
[ 0.018065] clocksource: xen: mask: 0xffffffffffffffff max_cycles: 0x1cd42e4dffb, max_idle_ns: 881590591483 ns
[ 0.018084] Xen: using vcpuop timer interface
[ 0.018097] installing Xen timer for CPU 0
[ 0.021287] installing Xen timer for CPU 1
[ 0.083246] installing Xen timer for CPU 2
[ 0.145315] installing Xen timer for CPU 3
[ 0.230322] xen: --> pirq=16 -> irq=9 (gsi=9)
[ 0.329199] xen:balloon: Initialising balloon driver
[ 0.342076] clocksource: Switched to clocksource xen
[ 0.364788] xen: --> pirq=17 -> irq=8 (gsi=8)
[ 0.364840] xen: --> pirq=18 -> irq=12 (gsi=12)
[ 0.364887] xen: --> pirq=19 -> irq=1 (gsi=1)
[ 0.364942] xen: --> pirq=20 -> irq=6 (gsi=6)
[ 0.364997] xen: --> pirq=21 -> irq=4 (gsi=4)
[ 0.365084] xen: --> pirq=22 -> irq=7 (gsi=7)
[ 0.381895] xen: --> pirq=23 -> irq=23 (gsi=23)
[ 1.034109] xen: --> pirq=24 -> irq=28 (gsi=28)
[ 1.034442] xen:grant_table: Grant tables using version 1 layout
[ 1.259754] xenbus_probe_frontend: Device with no driver: device/vbd/832
[ 1.259755] xenbus_probe_frontend: Device with no driver: device/vbd/768
[ 1.259756] xenbus_probe_frontend: Device with no driver: device/vbd/5696
[ 1.259757] xenbus_probe_frontend: Device with no driver: device/vif/0
[ 1.283431] systemd[1]: Detected virtualization xen.
[ 3.979118] xen_netfront: Initialising Xen virtual ethernet driver
[ 3.996766] vbd vbd-5696: 19 xenbus_dev_probe on device/vbd/5696
[ 9.815182] systemd[1]: Detected virtualization xen.
[1474419.115730] suspending xenstore...
[1474419.144499] xen:events: Xen HVM callback vector for event delivery is enabled
[1474419.144499] Xen Platform PCI: I/O protocol version 1
[1474419.144499] xen:grant_table: Grant tables using version 1 layout
[1474419.144499] xen: --> irq=9, pirq=16
[1474419.144499] xen: --> irq=8, pirq=17
[1474419.144499] xen: --> irq=12, pirq=18
[1474419.144499] xen: --> irq=1, pirq=19
[1474419.144499] xen: --> irq=6, pirq=20
[1474419.144499] xen: --> irq=4, pirq=21
[1474419.144499] xen: --> irq=7, pirq=22
[1474419.144499] xen: --> irq=23, pirq=23
[1474419.144499] xen: --> irq=28, pirq=24