WRK的全稱是“Windows Research Kernel”，它是微軟為高校操作系統課程提供的可修改和跟蹤的操作系統教學平臺。它給出了Windows這個成功的商業操作系統的內核大部分代碼，可以對其進行修改、編譯，并且可以用這個內核啟動Windows操作系統。可讓學生將操作系統基本原理和商業操作系統內核聯系起來，進一步加深對操作系統整體的理解。