On 02/07/2017 09:44 PM, Riccardo Mottola wrote: > A hypothetical amd32 would be faster. It actually isn't hypothetical at all: > https://en.wikipedia.org/wiki/X32_ABI > https://wiki.debian.org/X32Port -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaubitz@debian.org `. `' Freie Universitaet Berlin - glaubitz@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913