On Thu, Oct 12, 2017 at 03:52:15PM +0100, Jorge Gonçalves wrote:
> ---------- Forwarded message ----------
> From: Jorge Gonçalves <jmg.correio@???>
> Date: Tue, Oct 10, 2017 at 10:31 AM
> Subject: X32 ABI build
> To: freedom@???
>
>
> Hi!
> First, let me congratulate Devuan for the good job it has been doing so far.
> I have one suggestion for you to think about.
> Since, in a sense, Devuan tries to explore different ways to run a
> O.S. than the mainstream distro's out there, why not have packages for
> the X32 ABI??
> https://wiki.debian.org/X32Port
> https://sourceware.org/glibc/wiki/x32

Does that do x32 userspace, or kernelspace as well? Can I run x32
userspace code on a 64-bit kernel?

Might it be the right system to use on my 64-bit computer with only
2G RAM? Without, alas, working USB ports, so I'm copletely paranoid
about accidentally losing bootability, which happened on my laptop
recently (where I recovered using refracta).

-- hendrik