There appears to be a kernel config item CONFIG_X86_X32:
http://cateee.net/lkddb/web-lkddb/X86_X32.html
You can try checking
/boot/config-$(uname -r)
To see if there's any information there, but on my RHEL6.7 system, that
string does not appear -- but I surely have 32-bit ABI support in the
kernel.
--
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Robert Jacobson [email protected]
Lead System Admin Solar Dynamics Observatory (SDO)
Bldg 14, E222 (301) 286-1591
--
SCAP Security Guide mailing list
[email protected]
https://lists.fedorahosted.org/mailman/listinfo/scap-security-guide
https://github.com/OpenSCAP/scap-security-guide/
