The x32 ABI was meant
to be the best of both worlds, providing the expanded registers and
instruction set of the x86-64 architecture while preserving the lower
memory use of 32-bit systems. The Linux kernel has supported x32 since the
3.4 release in 2012. The initial excitement around x32 did not last,
though, and kernel developers are...