execv() is a basic system interface.  It should not be in libc/ but rather in sched/task.  Its symboltable helper logic also belongs in the kernel but belings in binfmt/ with the other symbol table logic

In kernel mode, we have to duplicate the callers argv[] buffer when exec'ing new tasks.  When the argv[] buffer is needed, the caller's address environment will not longer be in place

Add the initial implementation of the process kernel stack logic.  Not yet integrated into the main OS logic nor tested.

Rename everything associated with the dynamic process stack to ustack to make room in the name space for a kstack

Move static helper routines from arm_addrenv.c and may them global so that they can be shared both forthcoming stack address environment logic.

Add the network enabled NSH configuration for the STM32F4Discovery board with the STM32F4DIS-BB base board

Having a symbol table is an option.  There are no symbol tables with CONFIG_BUILD_KERNEL, for example.

ARMv7-A: Modify up_fullcontextrestore() for CONFIG_BUILD_KERNEL.  It changed CPSR while in kernel.  That will crash is the new CPSR is user mode while executing in kernel space.  Fixed by adding a SYS_context_restore system call.  There is an alternative, simpler modification to up_fullcontextrestore() that could have been done:  It might have been possible to use the SPSR instead of the CPRSR and then do an exception return from up_fullcontextrestore().  That would be more efficient, but I never tried it.