The Windows Research Kernel (WRK) - View it on GitHub