Re: [Xen-devel] [v3 12/13] arm: Allow the user to specify the GIC version

2015-07-01 Thread Julien Grall
On 01/07/15 15:50, Ian Campbell wrote: > 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

Re: [Xen-devel] [v3 12/13] arm: Allow the user to specify the GIC version

2015-07-01 Thread Ian Campbell
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 differ

Re: [Xen-devel] [v3 12/13] arm: Allow the user to specify the GIC version

2015-07-01 Thread Julien Grall
On 01/07/15 14:52, Ian Jackson wrote: > Julien Grall writes ("[v3 12/13] arm: Allow the user to specify the GIC > version"): >> A platform may have a GIC compatible with previous version of the >> device. > ... >> +=item B >> + >> +Version of the GIC emulated for the guest. Currently, the followin

Re: [Xen-devel] [v3 12/13] arm: Allow the user to specify the GIC version

2015-07-01 Thread Ian Jackson
Julien Grall writes ("[v3 12/13] arm: Allow the user to specify the GIC version"): > A platform may have a GIC compatible with previous version of the > device. ... > +=item B > + > +Version of the GIC emulated for the guest. Currently, the following > +versions are supported: This documentation

[Xen-devel] [v3 12/13] arm: Allow the user to specify the GIC version

2015-07-01 Thread Julien Grall
A platform may have a GIC compatible with previous version of the device. This is allow to virtualize an unmodified OS on new hardware if the GIC is compatible with older version. When a guest is created, the vGIC will emulate same version as the hardware. Although, the user can specify in the co