On: X32 ABI

[josteink]

Looking at the X32Ports details-page[1], I'm pretty quick to rate this "not ready for mainstream" at this point ;)

Definitely interesting though. Once support matures, I'll be interested in trying it out.

[1] https://wiki.debian.org/X32Port