WRK及其相关环境设置

WRK为WINDOWS为教学和科研提供的内核源代码的访问许可 WRK的全称是"Windows Research Kernel"，它是微软为高校操作系统课程提供的可修改和跟踪的操作系统教学平台。它给出了Windows这个成功的商业操作系统的内核大部分代码，可以对其进行修改、编译，并且可以用这个内核启动Windows操作系统。可让学生将操作系统基本原理和商业操作系统内核联系起来，进一步加深对操作系统整体的理解。