Купил сдуру плату. Вот такую: http://www.st.com/internet/evalboard/product/252419.jsp
Теперь мне предлагается для написания программ установить Altium Tasking за 2000 EUR, либо Keil, который есть только для Windows, либо IAR, для которого я не осилил регистрацию (и подозреваю, что тоже для Win32).
Может быть, в родном линуксе есть какие-нибудь инструменты? Больно уж хорошая плата, не выкидывать же.
