Windows Research Kernel
あとでkwsk調べる予定。
Windows Research Kernel (WRK) は、Windows カーネルの実験的なバージョンの構築およびテスト用の環境に、中心となる Windows XP x64/Server 2003 SP1 カーネルソース コードを、授業や研究での使用を目的としてパッケージ化したものです。WRK には、プロセス、スレッド、LPC、仮想メモリ、スケジューラ、オブジェクト マネージャ、I/O マネージャ、同期、ワーカー スレッド、カーネルヒープ マネージャ、およびその他のコア NTOS 機能のソースが含まれています。
http://www.microsoft.com/japan/resources/sharedsource/licensing/researchkernel.mspx
追記
WRK はどうやら教育機関向けのようで、一般人はダメみたいですな(;´Д`)