Цитата(Олег Гаврильченко @ Jun 26 2015, 11:12)

Спасибо, я уже разобрался. Я не знал, что для того, чтобы SDK распознало эти файлы из репозитория, их нужно переименовать.
У меня еще такой вопрос, а можно ли собирать ядро linux от для microblaze в Windows? С использованием MSYS например, или как-то еще?
Неоднократно слышал что нельзя.