[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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.

--
Julien Grall

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


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.