1# SPDX-License-Identifier: GPL-2.0 2# 3# Building vDSO images for x86. 4# 5 6# Regular kernel objects 7obj-y := vma.o extable.o 8obj-$(CONFIG_COMPAT_32) += vdso32-setup.o 9 10# vDSO directories 11obj-$(CONFIG_X86_64) += vdso64/ 12obj-$(CONFIG_COMPAT_32) += vdso32/ 13