In this article at Linux Journal, Julian Rose explains dsp_K, an "open-source, real-time kernel and library for digital signal processors (DSPs)". It covers both technical and historical ground, paying particular attention to the board support package (BSP) layer that is at the kernel's heart; and explains how dsp_K handles funcionality that is essential in any kernel, like context switching, and interrupt handling.
The BSP comprises the minimal services required to provide a functional software platform for an application to run, along with a minimal kernel personality, interrupts, context switching, scheduler sanity checker and task functions
From the article: