On Tue, Dec 9, 2014 at 1:06 AM, Julien Grall <julien.gr...@linaro.org> wrote: > 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.
That's what I thought too but its available for arm64, so should we fix that Kconfig to depend on x86? >> +CONFIG_XEN_HAVE_PVMMU=y > > > We don't have PVMMU support on ARM. Shouldn't you move this config in > architecture specific code? If you are sure then yes. Luis -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
