Windows driver kit?

Hi guys I am following a long on a tutorial but cannot download the required header files and libraries because microsoft has for some reason removed the download link to them

https://msdn.microsoft.com/en-us/library/ms794193.aspx

https://www.microsoft.com/whdc/DevTools/WDK/WDKpkg.mspx

I need both Wdm.h and Ntddk.h but can't find them they no longer seem to be available anywhere
closed account (E0p9LyTq)
Do an internet search, I found driver kit downloads for Windows 7, 8/8.1 and 10.

All from Microsoft.

Here's the search I used:
https://duckduckgo.com/?q=windows+driver+kit+download&t=ffsb&ia=web
Thanks FurryGuy I ended up finding them

since I'm here do you any good books which can ease me into driver development and more lower level c++ which would deal with drivers or system/kernel programming?

thanks
Topic archived. No new replies allowed.