http://cdk4avr.sourceforge.net/ - Вот собственно для AVR, думаю если поискать то и для других чипов найти можно...