Debugging with GDB
http://openocd.org/doc/html/GDB-and-OpenOCD.html
http://openocd.org/doc/html/Server-Configuration.html#gdbconfigurati
https://www.aosabook.org/en/gdb.html
http://www.nostalcomp.cz/plan80.php
https://sourceware.org/gdb/wiki/BuildingCrossGDBandGDBserver
https://jacobmossberg.se/posts/2018/08/11/run-c-program-bare-metal-on-arm-cortex-m3.html
https://jacobmossberg.se/posts/2017/01/17/use-gdb-on-arm-assembly-program.html
https://gnu-mcu-eclipse.github.io/toolchain/arm/install/
https://gnu-mcu-eclipse.github.io/debug/openocd/
https://gnu-mcu-eclipse.github.io/debug/install/
http://openocd.org/doc-release/html/CPU-Configuration.html#Target-List
https://jacobmossberg.se/posts/2018/08/11/run-c-program-bare-metal-on-arm-cortex-m3.html