Tools that support device driver development for windows server 2012 R2 RRS feed

  • Question

  • Hello,

    I am new to the device driver development. I am working on device drivers for Windows Server 2012 R2.

    I searched for WinDDK that supports driver development of Windows Server 2012 R2 but to no avail. I found a Microsoft page (link given below) with the WDK 10 (integrated with Visual Studio 2015) details that supports Server 2008 and Server 2016 but it does not support Server 2012 R2.


    So, my question is which WDK version supports driver development for Windows Server 2012 R2? Please suggest if any other tool is available for this.

    Thank you all in advance. 

    - Kunal Doshi 

    Wednesday, August 9, 2017 11:10 PM

All replies

  • Hi KunalDoshi,

    Thanks for posting here.

    This forum is about the MSBuild, as your issue is more related to the Windows Hardware WDK and Driver Development. This is out of our support. You can open a new thread on this MSDN Forum to confirm:

    If you have some MSBuild questions, please feel free to contact us. We will try our best to give you a solution.

    Thanks for your understanding and cooperation.

    MSDN Community Support Please remember to click "Mark as Answer" the responses that resolved your issue, and to click "Unmark as Answer" if not. This can be beneficial to other community members reading this thread. If you have any compliments or complaints to MSDN Support, feel free to contact

    Thursday, August 10, 2017 1:43 AM