STARSL:
http://starsl.com/platafortmas_enbedded_uk.html