DSP Gateway
Toshihiro Kobayashi
http://dspgateway.sourceforge.net/pub/index.php

DSP/BIOS Real-Time Kernel
http://focus.ti.com/docs/toolsw/folders/print/dspbios.html