eCos 3.0 RTOS, with Xiilinx Zynq and NXP Vybrid support and other additions - View it on GitHub