Re: [Xen-devel] [PATCH v4 2/3] arm: Allow the user to specify the GIC version

2015-07-07 Thread Julien Grall
Hi Ian, On 07/07/15 15:39, Ian Campbell wrote: > On Tue, 2015-07-07 at 15:08 +0100, Julien Grall wrote: >> A platform may have a GIC compatible with previous version of the >> device. > > "...a GIC which is compatible with a previous version..." > >> >> This is allow to virtualize an unmodified

Re: [Xen-devel] [PATCH v4 2/3] arm: Allow the user to specify the GIC version

2015-07-07 Thread Ian Campbell
On Tue, 2015-07-07 at 15:08 +0100, Julien Grall wrote: > A platform may have a GIC compatible with previous version of the > device. "...a GIC which is compatible with a previous version..." > > This is allow to virtualize an unmodified OS on new hardware if the GIC > is compatible with older ve

[Xen-devel] [PATCH v4 2/3] arm: Allow the user to specify the GIC version

2015-07-07 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