Re: [Xen-devel] [PATCH v4 08/16] xen/arm: use device api to detect GIC version

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

On Mon, 26 May 2014, Julien Grall wrote:
> Hi Vijay,
> 
> On 26/05/14 11:26, vijay.kilari@xxxxxxxxx wrote:
> >   enum device_type
> >   {
> > -    DEVICE_SERIAL
> > +    DEVICE_SERIAL,
> > +    DEVICE_GIC,
> 
> Sounds like you are using an old version of Xen. This enum has been modified a
> couple of weeks ago. Please rebase you tree on the latest Xen.

Aside from that I would have acked the patch

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel