Re: [Minios-devel] [UNIKRAFT PATCHv5 07/46] arch: Rename ARMv7 to Armv7 in Kconfig

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

Reviewed-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>

On 10.08.2018 09:07, Wei Chen wrote:
> From: Wei Chen <Wei.Chen@xxxxxxx>
>
> According to the new branding of arm, ARMv7 should be changed to
> Armv7 (i.e no upper-case for r, m).
>
> Signed-off-by: Wei Chen <Wei.Chen@xxxxxxx>
> ---
>   arch/Config.uk | 2 +-
>   1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/arch/Config.uk b/arch/Config.uk
> index 119903d..190c75e 100644
> --- a/arch/Config.uk
> +++ b/arch/Config.uk
> @@ -11,7 +11,7 @@ config ARCH_X86_64
>   config ARCH_ARM_64
>          bool "Armv8 compatible (64 bits)"
>   config ARCH_ARM_32
> -       bool "ARMv7 compatible (32 bits)"
> +       bool "Armv7 compatible (32 bits)"
>   
>   endchoice
>   
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel