diff --git a/configs/dk-tm4c129x/nsh/defconfig b/configs/dk-tm4c129x/nsh/defconfig
index e9ae347ecbf..0ad2d3b5f4c 100644
--- a/configs/dk-tm4c129x/nsh/defconfig
+++ b/configs/dk-tm4c129x/nsh/defconfig
@@ -131,6 +131,7 @@ CONFIG_ARMV7M_TOOLCHAIN_CODESOURCERYW=y
 # CONFIG_ARCH_CHIP_TM4C1294NC is not set
 CONFIG_ARCH_CHIP_TM4C129XNC=y
 # CONFIG_ARCH_CHIP_CC3200 is not set
+CONFIG_ARCH_CHIP_TM4C129=y
 CONFIG_ARCH_CHIP_TM4C=y
 # CONFIG_TIVA_BOARD_EARLYINIT is not set
 
diff --git a/configs/tm4c123g-launchpad/nsh/defconfig b/configs/tm4c123g-launchpad/nsh/defconfig
index 3d9bc8369ba..f53fe868543 100644
--- a/configs/tm4c123g-launchpad/nsh/defconfig
+++ b/configs/tm4c123g-launchpad/nsh/defconfig
@@ -123,6 +123,7 @@ CONFIG_ARMV7M_OABI_TOOLCHAIN=y
 CONFIG_ARCH_CHIP_TM4C123GH6PMI=y
 # CONFIG_ARCH_CHIP_CC3200 is not set
 CONFIG_ARCH_CHIP_TM4C=y
+CONFIG_ARCH_CHIP_TM4C123=y
 # CONFIG_TIVA_BOARD_EARLYINIT is not set
 
 #