Could you provide the command line for doing this please? On Mon, Nov 13, 2017 at 5:20 PM, Aaron M. Ucko <u...@debian.org> wrote: > Michael Stapelberg <stapelb...@debian.org> writes: > >> Do I understand correctly that you’re saying booting an amd64 machine >> with syscall.x32=y should suffice to reproduce the issue? > > AIUI, that setting should let you work in a local x32 chroot, though you > will of course have to set it up first via debootstrap or the like. > > -- > Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) > http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu
-- Best regards, Michael
