vs2010 wdk c语言,VS2010怎么配置WDK（生成64位驱动）开发环境

小弟最近初学驱动开发，

在网上看了Visual Studio 2010 搭建 Windows Driver Kit 7600 的开发环境。

成功编译了一个HelloDDK.sys。

在虚拟机(32位WinXP)下成功运行。

但是在64位Win7下无法运行。错误1275。

上网看了原因，并重启WIN7，禁用数字签名，启用测试模式。结果还是错误1275。

想到可能是VS2010配置64位的还发环境不正确，所以在此求助各位高手。

另外，在开始菜单选项中，点击以下两个选项创建环境的时候出错

Build Environments---Windows7---x64 Checked Build Environment

Build Environments---Windows7---x64 Free Build Environment

出现以下错误，

WARNING: x64 Native compiling isn't supported. Using cross compilers.

Launching OACR monitor

这是什么情况啊？