29 lines
726 B
Makefile
29 lines
726 B
Makefile
# SPDX-License-Identifier: GPL-2.0
|
|
#
|
|
# 32-bit vDSO images for x86.
|
|
#
|
|
|
|
# The vDSOs built in this directory
|
|
vdsos-y := 32
|
|
|
|
# Files to link into the vDSO:
|
|
vobjs-y := note.o vclock_gettime.o vgetcpu.o
|
|
vobjs-y += system_call.o sigreturn.o
|
|
|
|
# Compilation flags
|
|
flags-y := -DBUILD_VDSO32 -m32 -mregparm=0
|
|
flags-$(CONFIG_X86_64) += -include $(src)/fake_32bit_build.h
|
|
flags-remove-y := -m64
|
|
|
|
# Checker flags
|
|
CHECKFLAGS := $(subst -m64,-m32,$(CHECKFLAGS))
|
|
CHECKFLAGS := $(subst -D__x86_64__,-D__i386__,$(CHECKFLAGS))
|
|
|
|
# The location of this include matters!
|
|
include $(src)/../common/Makefile.include
|
|
|
|
# Linker options for the vdso
|
|
VDSO_LDFLAGS_32 := -m elf_i386 -soname linux-gate.so.1
|
|
|
|
$(obj)/vdso32.so.dbg: $(vobjs)
|