On 12/05/15 12:49, Lluís Batlle i Rossell wrote: > Yes. Maybe it got renamed... It used to be named 'amd32'. It's called x32: http://en.wikipedia.org/wiki/X32_ABI -- Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/