ciao a tutti

volevo sapere quale immagine debian iso devo scaricare per avere un sistema a 64bit

ia64 o amd64?

se la risposta è amd64 perchè gli sviluppatori di debian hanno deciso di dare questo nome a questo port, se è utilizzato sia per amd che per intel?

ciao e grazie.