オペレーティングシステムデベロップメントキット(operating system development kit)です。
OS開発でよく使う関数、ツールなどをC言語のヘッダーやスタティックライブラリーで提供します。