Компания AdaCore объявила конкурс для разработчиков встраиваемых систем на платформе ARM. Подробнее см.

http://www.makewithada.org/