Есть отечественный клон ADI-шного отладчика на PCI, покупали несколько лет назад, он позволяет вполне себе профайлить, я точную цену не помню, в голове вертится что-то около 40-45 тысяч рублей. http://www.deasy.ru/device/emu-ad
https://embedders.org - блоги разработчиков встраиваемых систем.