Skip to main content

Contemplative Chronicles

NUTTX Porting

/posts/nuttxporting/ Prasad Ghole
Table of Contents

Installation

Nuttx Installation

Download

Latest version 12.8.0

mkdir nuttxspace
cd nuttxspace
curl -L https://www.apache.org/dyn/closer.lua/nuttx/12.8.0/apache-nuttx-12.8.0.tar.gz?action=download -o nuttx.tar.gz
curl -L https://www.apache.org/dyn/closer.lua/nuttx/12.8.0/apache-nuttx-apps-12.8.0.tar.gz?action=download -o apps.tar.gz
tar zxf nuttx.tar.gz
tar zxf apps.tar.gz

Cmake vs make

Key benefit of CMake is the out-of-tree building, which allows one to have different build folders for different configs, very proper if one need check multiple configs for the same codebase. Out-of-tree means above build folders can be out of Nuttx source tree.

For STM32F303RE 

cmake -B build -DBOARD_CONFIG=nucleo-f303re:nsh -GNinja
cmake --build build

Flash and Debug 

apt install openocd

I get this error 

nuttx openocd -f interface/stlink-v2-1.cfg -f target/stm32f3x.cfg -c 'init' \
  -c 'program build/nuttx.bin verify reset' -c 'shutdown'
Open On-Chip Debugger 0.12.0
Licensed under GNU GPL v2
For bug reports, read
        http://openocd.org/doc/doxygen/bugs.html
WARNING: interface/stlink-v2-1.cfg is deprecated, please switch to interface/stlink.cfg
Info : auto-selecting first available session transport "hla_swd". To override use 'transport select <transport>'.
Info : The selected transport took over low-level target control. The results might differ compared to plain JTAG/SWD
Info : clock speed 1000 kHz
Info : STLINK V2J45M31 (API v2) VID:PID 0483:374B
Info : Target voltage: 3.240394
Info : [stm32f3x.cpu] Cortex-M4 r0p1 processor detected
Info : [stm32f3x.cpu] target has 6 breakpoints, 4 watchpoints
Info : starting gdb server for stm32f3x.cpu on 3333
Info : Listening on port 3333 for gdb connections
[stm32f3x.cpu] halted due to breakpoint, current mode: Thread 
xPSR: 0x61000000 pc: 0x2000002e msp: 0x20010000
Info : Unable to match requested speed 1000 kHz, using 950 kHz
Info : Unable to match requested speed 1000 kHz, using 950 kHz
[stm32f3x.cpu] halted due to debug-request, current mode: Thread 
xPSR: 0x01000000 pc: 0x080001e0 msp: 0x20010000
Info : Unable to match requested speed 8000 kHz, using 4000 kHz
Info : Unable to match requested speed 8000 kHz, using 4000 kHz
 ** Programming Started **
Info : device id = 0x10036446
Info : flash size = 512 KiB
Warn : no flash bank found for address 0x00000000
 ** Programming Finished **
 ** Verify Started **
Error: checksum mismatch - attempting binary compare
embedded:startup.tcl:1516: Error: ** Verify Failed **
in procedure 'program' 
in procedure 'program_error' called at file "embedded:startup.tcl", line 1577
at file "embedded:startup.tcl", line 1516

Debugging with STMCubeIDE GDB

There is no direct way to debug hence I created a dummy STM32 application. Then in debug configuration replace the binary with Nuttx binary.