What it is is what BSDers call a "kernel personality". It's not a virtual machine; the Windows kernel just knows how to load Linux binaries and translate Linux system calls to the corresponding Windows calls.