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

The follow packages should be installed:

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

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. - Open another terminal where the program to debug is and run `arm-none-eabi-gdb`. -

TODO: sw structure

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