Re: [PATCH] ARM64: vdso32: Install vdso32 from vdso_install

From: Catalin Marinas
Date: Fri Aug 21 2020 - 14:15:13 EST


On Mon, 17 Aug 2020 18:49:50 -0700, Stephen Boyd wrote:
> Add the 32-bit vdso Makefile to the vdso_install rule so that 'make
> vdso_install' installs the 32-bit compat vdso when it is compiled.

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

[1/1] ARM64: vdso32: Install vdso32 from vdso_install
https://git.kernel.org/arm64/c/8d75785a8142

--
Catalin