diff --git a/platforms/nuttx/CMakeLists.txt b/platforms/nuttx/CMakeLists.txt
index 960ebf0f97..d89452d36a 100644
--- a/platforms/nuttx/CMakeLists.txt
+++ b/platforms/nuttx/CMakeLists.txt
@@ -221,6 +221,9 @@ if(NOT NUTTX_DIR MATCHES "external")
 	elseif(CONFIG_ARCH_CHIP_STM32F405RG)
 		set(DEBUG_DEVICE "STM32F405RG")
 		set(DEBUG_SVD_FILE "STM32F405.svd")
+	elseif(CONFIG_ARCH_CHIP_STM32F412CE)
+		set(DEBUG_DEVICE "STM32F412CE")
+		set(DEBUG_SVD_FILE "STM32F412.svd")
 	elseif(CONFIG_ARCH_CHIP_STM32F427V)
 		set(DEBUG_DEVICE "STM32F427VI")
 		set(DEBUG_SVD_FILE "STM32F427.svd")