On Wed, May 28, 2014 at 05:20:11PM +0200, Peter Zijlstra wrote: > > > > > > Pentium 4 's were not 64bit, were they? > > > > Not all, but there were 64bit varians (Xeons iirc). > > http://en.wikipedia.org/wiki/Pentium_d > > consumer netburst chip with x86_64.