diff options
Diffstat (limited to 'nuttx/configs/stm32f4discovery/kernel/up_userspace.c')
| -rw-r--r-- | nuttx/configs/stm32f4discovery/kernel/up_userspace.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nuttx/configs/stm32f4discovery/kernel/up_userspace.c b/nuttx/configs/stm32f4discovery/kernel/up_userspace.c index 6dd84cbe3..047fd7647 100644 --- a/nuttx/configs/stm32f4discovery/kernel/up_userspace.c +++ b/nuttx/configs/stm32f4discovery/kernel/up_userspace.c @@ -45,7 +45,7 @@ #include <nuttx/wqueue.h> #include <nuttx/mm.h> -#if defined(CONFIG_NUTTX_KERNEL) && !defined(__KERNEL__) +#if defined(CONFIG_BUILD_PROTECTED) && !defined(__KERNEL__) /**************************************************************************** * Pre-processor Definitions @@ -139,4 +139,4 @@ const struct userspace_s userspace __attribute__ ((section (".userspace"))) = * Public Functions ****************************************************************************/ -#endif /* CONFIG_NUTTX_KERNEL && !__KERNEL__ */ +#endif /* CONFIG_BUILD_PROTECTED && !__KERNEL__ */ |