1 # SPDX-License-Identifier: GPL-2.0 2 3 GENERIC_VDSO_MK_PATH := $(abspath $(lastword $ 4 GENERIC_VDSO_DIR := $(dir $(GENERIC_VDSO_MK_PA 5 6 c-gettimeofday-$(CONFIG_GENERIC_GETTIMEOFDAY) 7 c-getrandom-$(CONFIG_VDSO_GETRANDOM) := $(addp 8 9 # This cmd checks that the vdso library does n 10 # It has to be called after the linking of the 11 # as a parameter. 12 # 13 # As a workaround for some GNU ld ports which 14 # dynamic relocations, ignore R_*_NONE. 15 quiet_cmd_vdso_check = VDSOCHK $@ 16 cmd_vdso_check = if $(READELF) -rW $@ | 17 then (echo >&2 "$@: dyn 18 rm -f $@; /bin/fa
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.