Re: [patch 8/8] x86/vdso: Implement __vdso_futex_robust_try_unlock()

[Sebastian Andrzej Siewior]

On 2026-03-19 11:49:37 [+0100], Thomas Weißschuh wrote:
> $ readlink /usr/lib/debug/.build-id/4a/bb1230e4abe0e2d856e1a304b392831ab7a8e1.debug
> ../../lib/modules/6.12.74+deb13+1-amd64/vdso/vdso32.so
> 
> This looks as expected to me. It doesn't help for development kernels, though.
Good to know.

> Also kbuild 'make deb-pkg' does *not* package these, see also [0].

This is not used by Debian kernel building package but by people
building a Debian package. If it is useful maybe add it.

> One thing to note is that Debian does not follow the 'make vdso_install' layout.
> Not that this would be a requirement or anything.

Okay. Well, if it needs to change or anything I know who to poke.

> Thomas

Sebastian