On 04/04/2014 12:41 PM, Julien Grall wrote: > Linus has merged xen/tip yesterday and building ARM with CONFIG_XEN=y is > now broken. My mistake, it's not because of xen/tip, but some other branches. -- Julien Grall