Yo estoy trabajando esporádicamente en un port del Firmware CIAA clásico (versión 1) a la picoCIAA.
Ya tengo FreeOSEK funcionando, y ahora estaba trabajando en algunos drivers posix, pero eso está demorado. Si no planeás usar el módulo posix para hacer I/O creo que ya se puede considerar funcional.
De todas formas todo esto es para el core M4. No estaba en mis planes trabajar en el port para el M0 de la picoCIAA así que la modalidad multicore no está funcionando.
https://glpuga.gitlab.io/ciaa-picociaa/Saludos.-
G.-