Add a configuration option for dynamic stack management

arch/Kconfig

@@ -199,11 +199,6 @@ config ARCH_HEAP_VBASE
 	---help---
 		The virtual address of the beginning of the heap region.
 
-config ARCH_STACK_VBASE
-	hex "Virtual stack base"
-	---help---
-		The virtual address of the beginning the stack region
-
 config ARCH_TEXT_NPAGES
 	int "Max .text pages"
 	default 1
@@ -228,6 +223,30 @@ config ARCH_HEAP_NPAGES
 		This, along with knowledge of the page size, determines the size of
 		the heap virtual address space. Default is 1.
 
+config ARCH_STACK_DYNAMIC
+	bool "Dynamic stack"
+	default n if !BUILD_KERNEL || !LIBC_EXECFUNCS
+	default y if BUILD_KERNEL && LIBC_EXECFUNCS
+	---help---
+		Select this option if the user process stack resides in its own
+		address space.  The naming of this selection implies that dynamic
+		stack allocation is supported.  Certainly this option must be set if
+		dynamic stack allocation is supported by a platform.  But the more
+		general meaning of this configuration environment is simply that the
+		stack has its own address space.
+
+		NOTE:  This options is also *required* if BUILD_KERNEL and
+		LIBC_EXECFUNCS are selected.  Why?  Because the caller's stack must
+		be preserved in its own address space when we instantiate the
+		environment of the new process in order to initialize it.
+
+if ARCH_STACK_DYNAMIC
+
+config ARCH_STACK_VBASE
+	hex "Virtual stack base"
+	---help---
+		The virtual address of the beginning the stack region
+
 config ARCH_STACK_NPAGES
 	int "Max. stack pages"
 	default 1
@@ -236,6 +255,8 @@ config ARCH_STACK_NPAGES
 		This, along with knowledge of the page size, determines the size of
 		the stack virtual address space. Default is 1.
 
+endif # ARCH_STACK_DYNAMIC
+
 config ARCH_PGPOOL_MAPPING
 	bool "Have page pool mapping"
 	default n

arch/arm/include/arch.h

@@ -108,8 +108,10 @@ do { \
 #  define ARCH_TEXT_NSECTS    ARCH_PG2SECT(CONFIG_ARCH_TEXT_NPAGES)
 #  define ARCH_DATA_NSECTS    ARCH_PG2SECT(CONFIG_ARCH_DATA_NPAGES)
 #  define ARCH_HEAP_NSECTS    ARCH_PG2SECT(CONFIG_ARCH_HEAP_NPAGES)
-#  define ARCH_STACK_NSECTS ARCH_PG2SECT(CONFIG_ARCH_STACK_NPAGES)
 
+#  ifdef CONFIG_ARCH_STACK_DYNAMIC
+#    define ARCH_STACK_NSECTS ARCH_PG2SECT(CONFIG_ARCH_STACK_NPAGES)
+#  endif
 #endif
 
 /****************************************************************************

arch/arm/src/armv7-a/arm_addrenv.c

@@ -104,10 +104,6 @@
 #  error CONFIG_ARCH_HEAP_VBASE not aligned to section boundary
 #endif
 
-#if (CONFIG_ARCH_STACK_VBASE & SECTION_MASK) != 0
-#  error CONFIG_ARCH_STACK_VBASE not aligned to section boundary
-#endif
-
 /* Using a 4KiB page size, each 1MiB section maps to a PTE containing
  * 256*2KiB entries
  */

arch/arm/src/sama5/sam_pgalloc.c

@@ -137,8 +137,11 @@ uintptr_t sam_physpgaddr(uintptr_t vaddr)
 
   if ((vaddr >= CONFIG_ARCH_TEXT_VBASE && vaddr < ARCH_TEXT_VEND) ||
       (vaddr >= CONFIG_ARCH_DATA_VBASE && vaddr < ARCH_DATA_VEND) ||
-      (vaddr >= CONFIG_ARCH_HEAP_VBASE && vaddr < ARCH_HEAP_VEND) ||
+      (vaddr >= CONFIG_ARCH_HEAP_VBASE && vaddr < ARCH_HEAP_VEND)
-      (vaddr >= CONFIG_ARCH_STACK_VBASE && vaddr < ARCH_STACK_VEND))
+#ifdef CONFIG_ARCH_STACK_DYNAMIC
+      || (vaddr >= CONFIG_ARCH_STACK_VBASE && vaddr < ARCH_STACK_VEND)
+#endif
+      )
     {
       /* Yes.. Get Level 1 page table entry corresponding to this virtual
        * address.