TODO: install packages TODO: install libopencm3{,-plus}, omni-base

The follow packages should be installed:

1. arm-none-eabi-gdb
2. openocd
3. STLINK

The process to debug the stm32f4-discovery is the follow:

• Connect the stm32f4-discovery with the programming and serial usb.
• make and make flash the program to debug.
• Create a file with the name openocd.cfg and the follow content.

source [find interface/stlink-v2-1.cfg]
source [find target/stm32f4x.cfg]
init
$_TARGETNAME configure -rtos ChibiOS

• Open a terminal in the same directory where the file was created and run openocd. Keep that terminal open.
• If the before command doesn't work, change the interface stlink version and run again.
• Open another terminal where the program to debug is and run arm-none-eabi-gdb -tui <program to debug>.elf. The -tui flag enables a kind of command window that shows the code.
• Into the dbg prompt run target extended-remote :3333 to connect gdb to openocd.
• Now you can debug!!!

Sometimes openocd fail to detect ChibiOs and this is an open issue

TODO: sw structure

TODO: when add types, functions and how to add them