Это старая версия документа.
Для разработки потребуются следующие инструменты:
- arm-none-eabi (компиляторы, сборщик, дебаггер) https://launchpad.net/gcc-arm-embedded/+download
- openocd (собственно посредник между железом и дебаггером) http://openocd.org/repos/;