# SPDX-License-Identifier: GPL-2.0

config HAVE_GENERIC_VDSO
	bool

if HAVE_GENERIC_VDSO

config GENERIC_GETTIMEOFDAY
	bool
	help
	  This is a generic implementation of gettimeofday vdso.
	  Each architecture that enables this feature has to
	  provide the fallback implementation.

config GENERIC_VDSO_32
	bool
	depends on GENERIC_GETTIMEOFDAY && !64BIT
	help
	  This config option helps to avoid possible performance issues
	  in 32 bit only architectures.

config GENERIC_COMPAT_VDSO
	bool
	help
	  This config option enables the compat VDSO layer.

config CROSS_COMPILE_COMPAT_VDSO
	string "32 bit Toolchain prefix for compat vDSO"
	default ""
	depends on GENERIC_COMPAT_VDSO
	help
	  Defines the cross-compiler prefix for compiling compat vDSO.
	  If a 64 bit compiler (i.e. x86_64) can compile the VDSO for
	  32 bit, it does not need to define this parameter.

endif