Hacker News new | ask | show | jobs
by alexlarsson 2752 days ago
There was never a x32 kernel, it always ran on x86_64 kernels. x32 is just a userspace ABI.