From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v4 08/16] xen/arm: use device api to detect GIC version Date: Mon, 26 May 2014 15:39:51 +0100 Message-ID: <53835237.90708@linaro.org> References: <1401100009-7326-1-git-send-email-vijay.kilari@gmail.com> <1401100009-7326-9-git-send-email-vijay.kilari@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <1401100009-7326-9-git-send-email-vijay.kilari@gmail.com> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: vijay.kilari@gmail.com, Ian.Campbell@citrix.com, stefano.stabellini@eu.citrix.com, stefano.stabellini@citrix.com, xen-devel@lists.xen.org Cc: Prasun.Kapoor@caviumnetworks.com, vijaya.kumar@caviumnetworks.com List-Id: xen-devel@lists.xenproject.org Hi Vijay, On 26/05/14 11:26, vijay.kilari@gmail.com 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