Hello Luis, On 08/12/2014 23:05, Luis R. Rodriguez wrote:
diff --git a/kernel/configs/xen.config b/kernel/configs/xen.config new file mode 100644 index 0000000..0d0eb6d --- /dev/null +++ b/kernel/configs/xen.config +CONFIG_XEN_MCE_LOG=y
MCE is x86 specific.
+CONFIG_XEN_HAVE_PVMMU=y
We don't have PVMMU support on ARM. Shouldn't you move this config in architecture specific code?
Regards -- Julien Grall -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html