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

[Wei Chen <wei.chen@xxxxxxx>]

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
 
-- 
2.17.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel