From mboxrd@z Thu Jan  1 00:00:00 1970
From: ian.campbell@citrix.com (Ian Campbell)
Date: Wed, 25 Feb 2015 16:40:40 +0000
Subject: [Xen-devel] [PATCH v2 0/3] arm/arm64: Detect Xen support earlier
In-Reply-To: <20150225163417.GN12377@arm.com>
References: <1424267513-15836-1-git-send-email-julien.grall@linaro.org>
 <54EDF6C9.9060504@linaro.org> <20150225163417.GN12377@arm.com>
Message-ID: <1424882440.18290.22.camel@citrix.com>
To: linux-arm-kernel@lists.infradead.org
List-Id: linux-arm-kernel.lists.infradead.org

On Wed, 2015-02-25 at 16:34 +0000, Will Deacon wrote:
> On Wed, Feb 25, 2015 at 04:22:33PM +0000, Julien Grall wrote:
> > Hello,
> > 
> > Ping? Any comments from ARM's maintainers on theses patches (at least #2)?
> 
> I couldn't care less :)
> 
> The arm64 part is boring in the good sense of the word.

May Julien take that as an Acked-by? ;-)

Given this is all about Xen really I suppose it makes most sense to take
it via the Xen tree.

Russell, does that work for you? (arch/arm bits are in patch #2 if you
want to take a look)

Ian.