How to differentiate between an OVM and a Xen VM?

As OVM uses XEN, I can't tell if this is an OVM or a genuine Xen.

This is what the OS reports:

[root@system ~]# dmidecode -s system-product-name

HVM domU

[root@system ~]# dmidecode -t system

# dmidecode 2.12

SMBIOS 2.4 present.

Handle 0x0100, DMI type 1, 27 bytes

System Information

        Manufacturer: Xen

        Product Name: HVM domU

        Version: 4.1.3OVM

        Serial Number: 591eb76b-7a93-ded8-2820-55c5670fe488

        UUID: 591EB76B-7A93-DED8-2820-55C5670FE488

        Wake-up Type: Power Switch

        SKU Number: Not Specified

        Family: Not Specified

Handle 0x2000, DMI type 32, 11 bytes

System Boot Information

        Status: No errors detected

[root@system ~]# lsmod | grep -i xen