We may be part of kernel ?

Complete DSP OS Solution

DSP/BIOS kernel is a scalable real-time multi-tasking kernel, designed specifically for the TMS320C6000™, TMS320C5000™, and TMS320C28x™ DSP platforms. Together with its associated networking, microprocessor-DSP communications, and driver modules, DSP/BIOS provides a solid foundation for even the most sophisticated DSP applications. DSP/BIOS has been proven in thousands of customer designs and is one of the world’s mostly widely used real-time operating systems. DSP/BIOS requires no runtime license fees and is backed by Texas Instruments’ worldwide training and support organizations.