Realtime operating system kernel for TI TMS320F24x DSP - View it on GitHub