On Wed, Jul 19, 2017 at 6:40 PM, <tu...@posteo.de> wrote: > > the tool is statically linked and only the command "file" > reveals its 32bit nature. > If the tool is a static binary, you shouldn't need anything besides a kernel with support for 32 bit executables (Executable file formats / Emulations ---> x32 ABI for 64-bit mode)
(I hope I'm not saying something utterly silly...) Jorge Almeida