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