> cat /proc/cpuinfo That was the first thing I tried, except that /proc/cpuinfo after booting a 64bit linux doesn't list any 64bit extensions like I'd expect.