But it's still running binaries compiled for GNU/Linux? The Debian GNU/kFreeBSD port compiles for FreeBSD kernel system calls, not their linux emulation, as fa

But it's still running binaries compiled for GNU/Linux? The Debian GNU/kFreeBSD port compiles for FreeBSD kernel system calls, not their linux emulation, as far as I know. So a "GNU/kWindows" system could compile against NT system calls, or perhaps something like Cygwin which could reasonably be called "GNU/(k)win32". Also, it remains to be seen whether this can even be considered a full GNU operating system. I doubt you'll be able to run a pure "Linux Subsystem for Windows" GNU setup without the rest of wininit.exe, lsass.exe etc etc etc.