Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752874AbaLIUXK (ORCPT ); Tue, 9 Dec 2014 15:23:10 -0500 Received: from mail-la0-f44.google.com ([209.85.215.44]:38048 "EHLO mail-la0-f44.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752742AbaLIUXI (ORCPT ); Tue, 9 Dec 2014 15:23:08 -0500 MIME-Version: 1.0 In-Reply-To: <5486BBB1.3040405@linaro.org> References: <1418079900-4640-1-git-send-email-mcgrof@do-not-panic.com> <1418079900-4640-3-git-send-email-mcgrof@do-not-panic.com> <5486BBB1.3040405@linaro.org> From: "Luis R. Rodriguez" Date: Tue, 9 Dec 2014 12:22:45 -0800 X-Google-Sender-Auth: Qm5wyVhoJHtgGr9v8t94HIEIzRU Message-ID: Subject: Re: [Xen-devel] [PATCH v3 2/2] x86, arm64, platform, xen, kconfig: add xen defconfig helper To: Julien Grall Cc: "H. Peter Anvin" , josh@joshtriplett.org, sam@ravnborg.org, Michal Marek , Randy Dunlap , Ian Campbell , kvm@vger.kernel.org, x86@kernel.org, "linux-kernel@vger.kernel.org" , mtosatti@redhat.com, Pekka Enberg , Fengguang Wu , Sasha Levin , David Rientjes , xen-devel@lists.xenproject.org, Borislav Petkov , David Vrabel , Benjamin Poirier Content-Type: text/plain; charset=UTF-8 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Dec 9, 2014 at 1:06 AM, Julien Grall 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 linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/