Today I was able to try the amd64 port of Debian on an Intel Pentium D processor with EM64 technology. I dont have a broad overview of the various 64 bit technologies yet, but as far as I learned today the ia64 port is specific to the Intel Itanium processor, while the amd64 port supports both AMD64 CPUs and Intel EM64 CPUs. The current business card image booted well, but unfortunately the keyboard did not work anymore as soon as the debian installer showed its first menu. I tried both an USB and a PS/2 keyboard, but both have shown the same behaviour. Seems like there is more research necessary 🙂