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