¡Hola a todos!

Me pasa esto:

Resulta que instalo el WDK 7.1.0 en Windows 7 Home Premium 32 bits y todo bien: tanto la instalación como luego a la hora de entrar a buscar la documentación sobre APIs Ring0.

Pero luego lo instalo en Windows 7 Home Premium 64 bits y la instalación también bien. Pero cuando intento ver la documentación del WDK para ver la info sobre APIs de drivers (por ejemplo ZwReadFile) entonces no encuentra la ruta y saca un mensaje de error. Os adjunto la foto:
http://img856.imageshack.us/img856/2060/w1qp.jpg


Pero ya os digo que no cambio nada ni se cambia nada.
Toda la instalación y todo es lo mismo, los pasos los mismos, el WDK el mismo.
Pero en 32 bits me va bien y en 64 bits me va mal.
Que yo sepa el WDK es para ambas.

Gracias un saludo.