diff --git a/configs/stm32f746-ws/nsh/defconfig b/configs/stm32f746-ws/nsh/defconfig
index 5c0a529820..3da3bc4b5f 100644
--- a/configs/stm32f746-ws/nsh/defconfig
+++ b/configs/stm32f746-ws/nsh/defconfig
@@ -127,7 +127,7 @@ CONFIG_ARCH_FAMILY="armv7-m"
 CONFIG_ARCH_CHIP="stm32f7"
 # CONFIG_ARM_TOOLCHAIN_IAR is not set
 CONFIG_ARM_TOOLCHAIN_GNU=y
-# CONFIG_ARMV7M_USEBASEPRI is not set
+CONFIG_ARMV7M_USEBASEPRI=y
 CONFIG_ARCH_HAVE_CMNVECTOR=y
 CONFIG_ARMV7M_CMNVECTOR=y
 # CONFIG_ARMV7M_LAZYFPU is not set
@@ -312,7 +312,7 @@ CONFIG_STM32F7_OTGFS=y
 # CONFIG_STM32F7_RNG is not set
 # CONFIG_STM32F7_SAI1 is not set
 # CONFIG_STM32F7_SAI2 is not set
-##CONFIG_STM32F7_SDMMC1=y
+CONFIG_STM32F7_SDMMC1=y
 # CONFIG_STM32F7_SPDIFRX is not set
 CONFIG_STM32F7_SPI1=y
 # CONFIG_STM32F7_SPI2 is not set