drivers/hv/dxgkrnl contains the sources for the dxgkrnl driver which supports paravirtualized virtual compute devices, exposed by Hyper-V when Linux is running inside of a virtual machine (such as for example Windows Subsystem for Linux). hosted by Windows. drivers/hv/dxgkrnl directory is added to the Kernel development of Windows Subsystem for Linux (See their Github repository). CONFIG_DXGKRNL must be set.