Re: [Xen-devel] [PATCH 2/2] xen/arm: gic-v3: Allow Xen to run on hardware reporting GICv4

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

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@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel