Re: [RFC PATCH v2 03/22] i386/xen: Add xen-version machine property and init KVM Xen support

[Paul Durrant]

On 12/12/2022 17:30, Paolo Bonzini wrote:
[snip]

The platform device can be created either in mc->kvm_type or manually 
(not sure if it makes sense to have a "XenVMMXenVMM" CPUID + emulated 
hypercalls but no platform device---would it still use pvclock for 
example?).


Not sure it's wise but the platform device is certainly optional in 
xl.cfg so you can easily bring up a VM without it.

  Paul