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:
vdso32=0.

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
option.

Feel free to close this bug report.



--
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org