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 -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/