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 -- 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/