On 04/04/14 12:41, Julien Grall wrote: > > Linus has merged xen/tip yesterday and building ARM with CONFIG_XEN=y is > now broken. Sorry, I couldn't add this patch to the xen tree at the time since the change was on a different tree and then I forgot about it. Now applied to devel/for-linus-3.15. David