Subject: [Xen-devel] [PATCH v2 0/3] arm/arm64: Detect Xen support earlier

From: [email-masked] (Ian Campbell)
Date: Wed, 25 Feb 2015 16:40:40 +0000

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.