[PATCH 1/2] powerpc/vdso: Add support for vDSO installation

From: Thomas Weißschuh

Date: Fri Jul 10 2026 - 02:15:38 EST


From: Thomas Weißschuh <linux@xxxxxxxxxxxxxx>

'make vdso_install' can install the unstripped vDSO files,
so that they can be shipped to the target system for debugging purposes.

Add the necessary variables so this also works on PowerPC.

Signed-off-by: Thomas Weißschuh <linux@xxxxxxxxxxxxxx>
---
arch/powerpc/Makefile | 3 +++
1 file changed, 3 insertions(+)

diff --git a/arch/powerpc/Makefile b/arch/powerpc/Makefile
index a58b1029592c..78112e032c50 100644
--- a/arch/powerpc/Makefile
+++ b/arch/powerpc/Makefile
@@ -391,6 +391,9 @@ vdso_prepare: prepare0
$(build)=arch/powerpc/kernel/vdso include/generated/vdso64-offsets.h)
endif

+vdso-install-$(CONFIG_VDSO32) += arch/powerpc/kernel/vdso/vdso32.so.dbg
+vdso-install-$(CONFIG_PPC64) += arch/powerpc/kernel/vdso/vdso64.so.dbg
+
archprepare: checkbin

archheaders:

--
2.55.0