Mainline linux does not support ilp32 yet, but there is support
for this abi since linux v4.12 in the arm64 linux repo under
ilp32 staging branches.
2017-09-01 Szabolcs Nagy <szabolcs.nagy@arm.com>
* sysdeps/unix/sysv/linux/aarch64/configure.ac (arch_minimum_kernel):
Set to 4.12.0 on ILP32.
* sysdeps/unix/sysv/linux/aarch64/configure: Regenerate.
# Local configure fragment for sysdeps/unix/sysv/linux/aarch64.
if test $aarch64_config_abi = ilp32; then
- arch_minimum_kernel=10.0.0
+ arch_minimum_kernel=4.12.0
test -n "$libc_cv_slibdir" ||
case "$prefix" in
/usr | /usr/)
# Local configure fragment for sysdeps/unix/sysv/linux/aarch64.
if test $aarch64_config_abi = ilp32; then
- arch_minimum_kernel=10.0.0
+ arch_minimum_kernel=4.12.0
LIBC_SLIBDIR_RTLDDIR([libilp32], [lib])
else
arch_minimum_kernel=3.7.0