Improvements to make support, added debug target.

src/firmware/nuttx/CMakeLists.txt

@@ -31,11 +31,24 @@ target_link_libraries(firmware_nuttx
 
 set(fw_file ${CMAKE_CURRENT_BINARY_DIR}/${OS}-${BOARD}-${LABEL}.px4)
 
+add_custom_target(check_weak
+	COMMAND ${NM} firmware_nuttx | grep " w "
+	DEPENDS firmware_nuttx
+	)
+
 px4_nuttx_add_firmware(OUT ${fw_file}
-	EXE ${CMAKE_CURRENT_BINARY_DIR}/firmware_nuttx
+	EXE firmware_nuttx
 	${config_firmware_options}
 	)
 
+configure_file(gdbinit.in .gdbinit)
+
+add_custom_target(debug
+	COMMAND ${GDB} ${CMAKE_CURRENT_BINARY_DIR}/firmware_nuttx
+	DEPENDS firmware_nuttx
+		${CMAKE_CURRENT_BINARY_DIR}/.gdbinit
+	)
+
 px4_add_upload(OUT upload OS ${OS} BOARD ${BOARD}
 	BUNDLE ${fw_file})
 

src/firmware/nuttx/gdbinit.in

@@ -0,0 +1,7 @@
+target extended ${DEBUG_PORT}
+monitor swdp_scan
+attach 1
+monitor vector_catch disable hard
+set mem inaccessible-by-default off
+set print pretty
+source Debug/PX4