Re: [Xen-devel] [RFC v1 2/8] xen: x86: make XEN_MAX_DOMAIN_MEMORY depend on XEN_HAVE_PVMMU

[David Vrabel <david.vrabel@xxxxxxxxxx>]

On 12/02/15 06:03, Luis R. Rodriguez wrote:
> From: "Luis R. Rodriguez" <mcgrof@xxxxxxxx>
> 
> Although XEN currently selects XEN_HAVE_PVMMU that will not
> be the case in the near future so select this requirement
> explicitly as per the agreed upon Kconfig changes [0].
[...]
> --- a/arch/x86/xen/Kconfig
> +++ b/arch/x86/xen/Kconfig
> @@ -28,7 +28,7 @@ config XEN_MAX_DOMAIN_MEMORY
>         int
>         default 500 if X86_64
>         default 64 if X86_32
> -       depends on XEN
> +       depends on XEN && XEN_HAVE_PVMMU

This can be just

  depends on XEN_HAVE_PVMMU

David

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel