Hello there, my desktop computer recently bit the dust and I'm thinking of getting a Core 2 duo system. What is the status of Debian on the X86-64 platform? Is it usable? I'd love to hear from people using this particular port and their experiences. I've heard various things here and there e.g. Linux doesn't use both CPUs on the Core 2 duo. Is this a load of nonsense? thanks in advance, Ananda