Там не требуется описание "как запустить SDK" - он запускается одной кнопкой в IAR на файл Project.eww, а в MBED - по описанию на оф. сайте mbed, Arduino - на самом оф. сайте Arduino среди прочих поддерживаемых и на оф. сайте Arduino Ameba, ...
Принципиального какой SoC RTL, или RT (MIPS-4k) не...