diff --git a/configs/stm32f4discovery/posix_spawn/defconfig b/configs/stm32f4discovery/posix_spawn/defconfig
index 078feb52488..bf0a3626e56 100644
--- a/configs/stm32f4discovery/posix_spawn/defconfig
+++ b/configs/stm32f4discovery/posix_spawn/defconfig
@@ -9,6 +9,7 @@ CONFIG_ARMV7M_TOOLCHAIN_CODESOURCERYW=y
 CONFIG_BINFMT_CONSTRUCTORS=y
 CONFIG_BINFMT_EXEPATH=y
 CONFIG_BOARD_LOOPSPERMSEC=16717
+CONFIG_BOARDCTL_APP_SYMTAB=y
 CONFIG_DEV_LOWCONSOLE=y
 CONFIG_ELF=y
 CONFIG_EXAMPLES_POSIXSPAWN=y
@@ -18,6 +19,7 @@ CONFIG_FS_ROMFS=y
 CONFIG_HAVE_CXX=y
 CONFIG_HOST_WINDOWS=y
 CONFIG_INTELHEX_BINARY=y
+CONFIG_LIB_BOARDCTL=y
 CONFIG_LIBC_EXECFUNCS=y
 CONFIG_MAX_TASKS=16
 CONFIG_MAX_WDOGPARMS=2