64-bit default. You can boot up the computer in 32-bit mode if you want. I can't remember how for the life of me though...