Кто-нибудь может подсказать, есть-ли вообще в природе свободный профайлер для армов, который можно было бы использовать вместе с пакетом GNU ARM.

Да и вообще, кто чем пользуется, когда нужно оценить быстродействие написанного когда?

Ведь мало кто, думаю, считает такты и инструкции...

Обратите внимание на среду Keil (www.keil.com)

Видел, но она мне не нравится по двум причинам:
1) Платная.
2) Странное использование гнутого компилятора, при котором Makefile получается черти знает какой. Почему они не сделали нормального генератора Makefileов мне совершенно непонятно, тем более, что сделать это совсем не сложно...

Так что вопрос остается открытым.