Спустя год, для всех остальных, добавлю

Вообще весь проект AYX32 располагается по адресу:

https://github.com/tslabs/arm/tree/master/AYX-32