https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100488
Matthias Klose <doko at debian dot org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jrtc27 at jrtc27 dot com
--- Comment #2 from Matthias Klose <doko at debian dot org> ---
Corresponding Debian issue: https://bugs.debian.org/988305
Debian's kernel support for x32 syscalls can be activated, and then you can
install a x32 chroot. See https://wiki.debian.org/X32Port. Ubuntu's kernel
also has the x32 syscalls.
