Some information, tutorials and howtos for the NuttX RTOS. In general, I assume that Debian Jessie is used. Debian provides the necessary packages for building.

aptitude install binutils-arm-none-eabi gcc-arm-none-eabi


make menuconfig

For the installation a programmer is required. Openocd is part of Debian Jessie and can help us here.

aptitude install openocd

The installation on the STM32F4Discovery board can be now done with openocd, after a USB cable is plugged to the on-board programmer.

sudo openocd \
   -f /usr/share/openocd/scripts/board/stm32f4discovery.cfg \
   -c "init" \
   -c "reset halt" \
   -c "sleep 100" \
   -c "wait_halt 2" \
   -c "echo \"--- Writing \"" \
   -c "flash write_image erase nuttx.bin 0x08000000" \
   -c "sleep 100" \
   -c "echo \"--- Verifying\"" \
   -c "verify_image nuttx.bin 0x08000000" \
   -c "sleep 100" \
   -c "echo \"--- Done\"" \
   -c "resume" \
   -c "shutdown"