Ну вот и проверю, как оно там с арифметикой будет. С поддержкой нужной архитектуры собрался? Собрался. Значит, все должно без проблем работать. Там разве что с делением или флоатами накосячить можно (было у меня, когда под STM32F0 собирал gcc сам: чуть деление - хардфолт).
И зачем там "разные модели входа в обработчик прерываний"? Ты в прерывание либо входишь, либо не входишь. А стек сохранять и т.п. надо обязательно же...