1# SPDX-License-Identifier: GPL-2.0 2# 3# 32-bit vDSO images for x86. 4# 5 6# The vDSOs built in this directory 7vdsos-y := 32 8 9# Files to link into the vDSO: 10vobjs-y := note.o vclock_gettime.o vgetcpu.o 11vobjs-y += system_call.o sigreturn.o 12 13# Compilation flags 14flags-y := -DBUILD_VDSO32 -m32 -mregparm=0 15flags-$(CONFIG_X86_64) += -include $(src)/fake_32bit_build.h 16flags-remove-y := -m64 17 18# The location of this include matters! 19include $(src)/../common/Makefile.include 20 21# Linker options for the vdso 22VDSO_LDFLAGS_32 := -m elf_i386 -soname linux-gate.so.1 23 24$(obj)/vdso32.so.dbg: $(vobjs) 25