there are also a lot of platforms for them ... what kind of processor do you have, and i will tell you which one you need. or you can figure it out on your own. ia64 is NOT athlon 64, it is xeon, so dont get confused. the amd64 kernel is kind of unstable ... i tried it, but i am currently running the i368 kernel on my athlong 64 chip and it works fine.