[Clr-dev] x32 ABI support

Hi all. Does Clear Linux support running binaries for the x32 ABI? If I look at the following line # CONFIG_X86_X32 is not set in https://github.com/clearlinux-pkgs/linux-lts/blob/master/config , it seems to be disabled. For many applications, x32 clearly outperforms i386 and x86-64, e.g. (for functional programming): https://lists.gnu.org/archive/html/chicken-users/2015-09/msg00000.html https://sympa.inria.fr/sympa/arc/bigloo/2016-12/msg00015.html In the long run, also compiling x32 binaries could be an important performance option for Clear Linux. Ciao Sven