I've found out recently that *.obj files generated by WDK for Server 2008 for
x64 platform didn't match MS COFF specification.
Does anybody know what is the obj file format in this case?

Thanks!

shkurko_alexander <shkurko_alexander@discussions.microsoft.com> wrote:
Well, I'll be darned, you're right!

Actually, it looks like it probably IS COFF format, but with an extra
32-byte header at the beginning.
--
Tim Roberts, timr@probo.com
Providenza & Boekelheide, Inc.