On Tue, 2015-09-15 at 12:02 +0100, Julien Grall wrote: > What about: > > "The GICv4 is an extension of GICv3 (see 1.1 in ARM IHI 0069A) which > means that the GICv3 driver can run normally on a GICv4 hardware. > > Though, the GICv4-only feature won't be used."
I've a few grammatical quibbles, plus I think s/reporting/supporting/ in the title. So how about: Subject: xen/arm: gic-v3: Allow Xen to run on hardware supporting GICv4 GICv4 is an extension of GICv3 (see 1.1 in ARM IHI 0069A) which means that the GICv3 driver can run normally on GICv4 hardware. The GICv4-only features currently won't be used. S-o-b: etc _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
