> Er, maybe I'm missing something obvious, but: > > http://www.debian.org/ports/ia64/ > > Is this not what you're looking for? No. ia64 is something that Debian actually has hardware for. x86-64 is not.