Developing Drivers for 64-bit
 

Some useful info in this PDF on developing 64bit drivers and porting 32bit source to 64bit. Also explains how there is now only one parameter passing format (goodbye cdecl, stdcall, thiscall, etc). I think it also has info on the new structured exception handling chain. I am sure it mentions it, but in case it doesn't, embedding assembly into C with __asm{} is gone.

WinDbg/KD for 64bit is here :

http://www.microsoft.com/whdc/devtools/debugging/install64bit.mspx

Git

Ooooo ..man how fast r u . ??!!!

I think Evilcry will take his chance too .
so lets watch .

sure man, I'm actually busy cause work but I'm collecting material ;)

I now my friend no problem take ur time :) .. we will wait .
I think u will bring fat stuff :D

U r the moderator now . and u r rule here ;)

thank you friend, just published the first block of links ;)

have a nice day!

recently i had to port an x86 driver to x64...

you just have to add ntAMD64 :)

for example:

Hi,

64-bit Driver Guidelines

https://www.microsoft.com/whdc/driver/64bitguide.mspx

Designing for 64-bit Windows

http://www.microsoft.com/whdc/system/platform/64bit/64bitsystems.mspx

Regards,
Evilcry

First link is dead

Git

Uhm I checked, and seems to work fine with me

Yep, works fine for me now too. Strange.

Git

http://msdn.microsoft.com/en-us/windows/hardware/gg454503.aspx
work fine.

Is there a sample project?

The DDK/WDK has the full source for all drivers that are part of Windows.

Git

afaik, a DDK/WDK has only the samples sources. Neither system drivers nor their sources are not part of a DDK/WDK.

They most certainly are part of the DDK and always have been. The whole build chain is there.