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

From: [email-masked] (Will Deacon)
Date: Wed, 25 Feb 2015 16:34:18 +0000

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