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 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
