Subject: Re: [PATCH v5 9/9] Enable LIVEPATCH to be configured on ppc64le and add livepatch.o if it is selected.

From: Petr Mladek <[email-masked]>
Date: Wed, 6 Jan 2016 15:23:15 +0100

On Fri 2015-12-04 15:13:44, Torsten Duwe wrote:
> Signed-off-by: Torsten Duwe <[email-masked]>
> ---
>  arch/powerpc/Kconfig         | 5 +++++
>  arch/powerpc/kernel/Makefile | 1 +
>  2 files changed, 6 insertions(+)
> 
> diff --git a/arch/powerpc/Kconfig b/arch/powerpc/Kconfig
> index 89b1a2a..62a3f54 100644
> --- a/arch/powerpc/Kconfig
> +++ b/arch/powerpc/Kconfig
> @@ -163,6 +163,9 @@ config PPC
>  	select ARCH_HAS_DMA_SET_COHERENT_MASK
>  	select HAVE_ARCH_SECCOMP_FILTER
>  
> +config HAVE_LIVEPATCH
> +       def_bool PPC64 && CPU_LITTLE_ENDIAN
> +

Just a small nitpicking. HAVE_LIVEPATCH is defined in
kernel/livepatch/Kconfig. I would move this to the
config PPC section and use:

	select HAVE_LIVEPATCH if PPC64 && CPU_LITTLE_ENDIAN

Or did I miss something, please?

Best Regards,
Petr