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

[Will Deacon]

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.

Will