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