В Linux приходится компилировать Кейлом из-под Wine. Хочется использовать компилятор, собранный непосредственно под Linux. Насколько я понимаю, MDK Keil и DS-5 используют один и тот же компилятор - ARMCC. Отличие только в тулчейнах. У меня проект bare-metal, никакой Linux ОС на МК и близко нет. Читал, что библиотеки MDK Keil больше заточены под bare-metal, в то время как в DS-5 они рассчитаны для работы с большими операционными системами.

Возможно же компилировать проект ARMCC (из DS-5, поскольку предоставляет компилятор для Linux), а линковать библиотеки, взятые из MDK Keil?

Зачем так сложно? Почему бы просто не использовать GNU ARM Embedded?

Конечно, это было первой мыслью, да и сейчас такая идея еще не умерла.
Сложность в том, что над проектом работает множество людей, почти все используют Keil в Windows. Компилятор и линкер из DS-5 позволят сохранить армовский ассемблер и настройки линкера. Придется кое-что поменять только в Makefile, поскольку ключи в armcc из DS-5 чуть по-другому задаются по сравннию с компилятором из MDK Keil.

Вроде бы Кейл позволяет использовать gcc вместо родного компилятора.

Угу. Еще бы он смог заставить коллег использовать GCC