On Tue, 11 Dec 2018, Thorsten Glaser wrote: > Furthermore, x32 was the first of the many *64ilp32 > architectures; I know I’ve seen amd64ilp32 and at least > one other I don’t recall. Maybe you mean n32 MIPS, complete kernel+userland support for which has been available in Linux from 2001? Maciej