Hey .. i have used debian on my amd64 laptop.. everything works just fine. didnt see any problems. i just get a problem that is i cant get it to show how much battery is left. other then works great. and if you are lookin to download the amd64 os .. you can download the dvd .. i can burn and give the dvd to you. bye regards Yasar