Michael Fothergill wrote:
I guess (and other people on the list here will correct me if I am wrong) that you are going to need the AMD64 version of Debian.
Not necessarily. i386 works just fine on 64 cpusThe gain in performance from running a 64bit kernel is hardly noticeable in most common tasks