On Wed, 2015-07-01 at 15:37 +0100, Julien Grall wrote: > > AFIACT the default is "offer the guest the hardware's native version". > > This is true when the domain is firstly created. But this will be > confusing if the user decide to migrate the guest to a platform where > the native GIC is different. > > This is a valid use-case, though we don't support migration yet, and the > guest will expect to get the same virtual GIC (the IRQ controller driver > can't be changed).
I think an option "native" which is documented to be latching on the host the guest is started on is absolutely fine, and avoids needing to faff around turning default into native at the interface and/or parsing stage. Upon migration the config should have been updated to reflect whatever decision Xen made when the guest was first started. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
