The VisualDSP++ kernel (VDK) is a small, robust kernel bundled with VisualDSP++ for applications with light-weight OS requirements. It supports threads, prioritization, semaphores, messaging, and critical regions. The VDK has small code and data footprints and fast performance for common operations like thread switching. It is fully integrated into VisualDSP++ for configuring, debugging, and developing applications.