[nxc18]

Indeed, the Windows Research Kernel itself is on GitHub. Kind of amazing that Microsoft is hosting their own pirated OS kernel.

https://github.com/cnsuhao/Windows-Research-Kernel-1