"The dsp_K software is an embedded real-time kernel and library for DSPs. It consists of configurable library of sources to be linked with applications that can then be booted onto target hardware. The software is a task-based kernel that supports applications designed using tasks, schedulers and inter-task communicators..."
It is not exactly opensource project.
h**p://www.jhrose.dial.pipex.com/dsp_K.htm