Actually, a lot of the kernel code has leaked in the past, so this question can be independently answered. I know that there were a few leaks at different time

Actually, a lot of the kernel code has leaked in the past, so this question can be independently answered. I know that there were a few leaks at different times. Some of it appears to be here: https://github.com/0x5bfa/NT5.1 https://github.com/0x5bfa/NT5.1