２・３日前に見たときには無かったのですが、最新版のWDKがConnectで公開されています。

先日のAshay氏のDSFセミナで、氏が使用していたWDKのバージョンが6001.18002だったのに
気づいた人はいたのでしょうか。

しかし、ややこしい名前ですね。WDK SP1 for Windows Server 2008 SP1 だそうです。
ん？Windows Server 2008 SP1 というのは、いつ出たのでしょうか。

何が変わったのかは、まだダウンロード中なので見ていませんが、
番号からするとバグフィックスが中心になるのでしょうか。

いずれにしましても、これから開発で使用するためのWDKを変える必要がありそうです。
今年初めの騒動での、WDFを追加インストールしなくて良くなった点は良いですね。