diff --git a/product-mini/platforms/nuttx/CMakeLists.txt b/product-mini/platforms/nuttx/CMakeLists.txt
index edbfb62f7..997a82e41 100644
--- a/product-mini/platforms/nuttx/CMakeLists.txt
+++ b/product-mini/platforms/nuttx/CMakeLists.txt
@@ -7,7 +7,19 @@ set(WAMR_BUILD_PLATFORM nuttx)
 if(CONFIG_ARCH_ARMV6M)
   set(WAMR_BUILD_TARGET THUMBV6M)
 elseif(CONFIG_ARCH_ARMV7A)
-  set(WAMR_BUILD_TARGET THUMBV7)
+  if(CONFIG_ARM_THUMB)
+    if(CONFIG_ARCH_FPU)
+      set(WAMR_BUILD_TARGET THUMBV7_VFP)
+    else()
+      set(WAMR_BUILD_TARGET THUMBV7)
+    endif()
+  else()
+    if(CONFIG_ARCH_FPU)
+      set(WAMR_BUILD_TARGET ARMV7_VFP)
+    else()
+      set(WAMR_BUILD_TARGET ARMV7)
+    endif()
+  endif()
 elseif(CONFIG_ARCH_ARMV7M)
   set(WAMR_BUILD_TARGET THUMBV7EM)
 elseif(CONFIG_ARCH_ARMV8M)