[PATCH] arm64: vdso32: rename 32-bit debug vdso to vdso32.so.dbg

[Will Deacon]

On Fri, 17 Nov 2023 21:56:19 +0900, Masahiro Yamada wrote:
> 'make vdso_install' renames arch/arm64/kernel/vdso32/vdso.so.dbg to
> vdso32.so during installation, which allows 64-bit and 32-bit vdso
> files to be installed in the same directory.
> 
> However, arm64 is the only architecture that requires this renaming.
> 
> To simplify the vdso_install logic, rename the in-tree vdso file so
> its base name matches the installed file name.
> 
> [...]

Applied to arm64 (for-next/kbuild), thanks!

[1/1] arm64: vdso32: rename 32-bit debug vdso to vdso32.so.dbg
      https://git.kernel.org/arm64/c/a099bec7a810

Cheers,
-- 
Will

https://fixes.arm64.dev
https://next.arm64.dev
https://will.arm64.dev