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