Ensamblador - Ayuda con estos archivos

Hey chicos buen día !!

Pasa que estoy cursando un curso de ensamblador en la universidad y mi profesor me ha dejado crear un programa y me dijo que con las siguientes herramientas podría trabajar (wdkdocs_12112009.exe y wdkdocks_121120009.hlp) pero no las he podido conseguir y el tiempo de entrega se me agota.
Saben donde las puedo conseguir o que es lo qué hacen estos archivos.
Ayuda por favor!!!!!!!!!!!!!!!!!!!!!