[patch] add x32 support

[Marc Glisse]

On Thu, 10 Jan 2013, Marc Glisse wrote:

> On Thu, 10 Jan 2013, Torbjorn Granlund wrote:
>
>> How could I test this?
>
> I don't remember what linux you have access to. Debian for instance has 
> packages in "experimental" named libx32gcc1, libc6-x32, etc. Then you just 
> need to compile with gcc -mx32.

Hmm, it also requires installing a kernel compiled with a different 
option, etc, so scratch that, sorry :-(

-- 
Marc Glisse