Windows Research Kernel. It's an almost-complete source code of Windows ~2003. There's a few omissions, like the TCP/IP stack.

https://www.facultyresourcecenter.com/curriculum/pfv.aspx?ID...