From 1ded8bbabbe0b23e3242be17fb87d418966778b2 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Tue, 22 Feb 2022 12:33:31 -0600 Subject: [PATCH] Garbage configuration setting in EFM32 code arch/arm/src/efm32/efm32_start.c: /* For the case of the separate user-/kernel-space build, perform whatever * platform specific initialization of the user memory is required. * Normally this just means initializing the user space .data and .bss * segments. */ #ifdef CONFIG_NUTTX_KERNEL efm32_userspace(); showprogress('E'); #endif But there is no CONFIG_NUTTX_KERNEL configuration setting. Comparing this to other architectures it is clear this should be #ifdef CONFIG_BUILD_PROTECTED --- arch/arm/src/efm32/efm32_start.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch/arm/src/efm32/efm32_start.c b/arch/arm/src/efm32/efm32_start.c index eb9453d94b..2ff7e9b6a3 100644 --- a/arch/arm/src/efm32/efm32_start.c +++ b/arch/arm/src/efm32/efm32_start.c @@ -259,7 +259,7 @@ void __start(void) * segments. */ -#ifdef CONFIG_NUTTX_KERNEL +#ifdef CONFIG_BUILD_PROTECTED efm32_userspace(); showprogress('E'); #endif