linux
linux copied to clipboard
please enable CONFIG_X86_X32 in mainline xanmod binary linux kernel
according to debian wiki they support x32 abi userland https://wiki.debian.org/X32Port