При сборке драйвера при помощи WDK for Server 2008 для платформы x64 генерируются объектные файлы (*.obj) не соответствующие спецификации MS (http://www.microsoft.com/whdc/system/platform/firmware/PECOFF.mspx). Может быть, у кого-нибудь есть информация о формате таких файлов?

Спасибо за помощь!