diff --git a/arch/arm/src/sam3u/sam3u_internal.h b/arch/arm/src/sam3u/sam3u_internal.h
index cba96e5c1d..d8f1797a2d 100755
--- a/arch/arm/src/sam3u/sam3u_internal.h
+++ b/arch/arm/src/sam3u/sam3u_internal.h
@@ -448,7 +448,7 @@ EXTERN void sam3u_lowsetup(void);
  *
  ****************************************************************************/
 
-#ifndef CONFIG_NUTTX_KERNEL
+#ifdef CONFIG_NUTTX_KERNEL
 EXTERN void sam3u_userspace(void);
 #endif
 
@@ -461,7 +461,7 @@ EXTERN void sam3u_userspace(void);
  *
  ****************************************************************************/
 
-#ifndef CONFIG_NUTTX_KERNEL
+#ifdef CONFIG_NUTTX_KERNEL
 EXTERN void sam3u_mpuinitialize(void);
 #else
 #  define sam3u_mpuinitialize()
@@ -475,7 +475,7 @@ EXTERN void sam3u_mpuinitialize(void);
  *
  ****************************************************************************/
 
-#ifndef CONFIG_NUTTX_KERNEL
+#ifdef CONFIG_NUTTX_KERNEL
 EXTERN void sam3u_mpuheap(uintptr_t start, size_t size);
 #else
 #  define sam3u_mpuheap(start,size)
diff --git a/arch/arm/src/sam3u/sam3u_mpuinit.c b/arch/arm/src/sam3u/sam3u_mpuinit.c
index 462f4e80db..beff4d43bd 100755
--- a/arch/arm/src/sam3u/sam3u_mpuinit.c
+++ b/arch/arm/src/sam3u/sam3u_mpuinit.c
@@ -41,7 +41,7 @@
 #include <arch/board/user_map.h>
 #include "mpu.h"
 
-#ifndef CONFIG_NUTTX_KERNEL
+#ifdef CONFIG_NUTTX_KERNEL
 
 /****************************************************************************
  * Private Definitions
diff --git a/arch/arm/src/sam3u/sam3u_start.c b/arch/arm/src/sam3u/sam3u_start.c
index e090fdf554..75cf8fa5c8 100755
--- a/arch/arm/src/sam3u/sam3u_start.c
+++ b/arch/arm/src/sam3u/sam3u_start.c
@@ -140,7 +140,7 @@ void __start(void)
    * segements.
    */
 
-#ifndef CONFIG_NUTTX_KERNEL
+#ifdef CONFIG_NUTTX_KERNEL
   sam3u_userspace();
 #endif
 
diff --git a/arch/arm/src/sam3u/sam3u_userspace.c b/arch/arm/src/sam3u/sam3u_userspace.c
index 763c60027b..a62eee7922 100755
--- a/arch/arm/src/sam3u/sam3u_userspace.c
+++ b/arch/arm/src/sam3u/sam3u_userspace.c
@@ -40,7 +40,7 @@
 #include <nuttx/config.h>
 #include <arch/board/user_map.h>
 
-#ifndef CONFIG_NUTTX_KERNEL
+#ifdef CONFIG_NUTTX_KERNEL
 
 /****************************************************************************
  * Private Definitions