diff --git a/include/nuttx/lib/lib.h b/include/nuttx/lib/lib.h
index df71eb988e4..6997fb527e6 100644
--- a/include/nuttx/lib/lib.h
+++ b/include/nuttx/lib/lib.h
@@ -41,7 +41,7 @@
  * then only the first mode is supported.
  */
 
-#if defined(__KERNEL__)
+#if  !defined(CONFIG_BUILD_FLAT) && defined(__KERNEL__)
 
   /* Domain-specific allocations */