From reading the kernel vdso code I discovered that there is a kernel command
line option to disable vdso for 32-bit applications in the 64-bit kernel:
This fixes my problem, although I couldn't find any documentation mentioning
this option. I will suggest to the scratchbox team that they document this
Feel free to close this bug report.
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact email@example.com