xref: /linux/lib/vdso/Kconfig (revision 71e2f4dd5a65bd8dbca0b77661e75eea471168f8)
1# SPDX-License-Identifier: GPL-2.0
2
3config HAVE_GENERIC_VDSO
4	bool
5
6if HAVE_GENERIC_VDSO
7
8config GENERIC_GETTIMEOFDAY
9	bool
10	help
11	  This is a generic implementation of gettimeofday vdso.
12	  Each architecture that enables this feature has to
13	  provide the fallback implementation.
14
15config GENERIC_VDSO_32
16	bool
17	depends on GENERIC_GETTIMEOFDAY && !64BIT
18	help
19	  This config option helps to avoid possible performance issues
20	  in 32 bit only architectures.
21
22config GENERIC_COMPAT_VDSO
23	bool
24	help
25	  This config option enables the compat VDSO layer.
26
27config CROSS_COMPILE_COMPAT_VDSO
28	string "32 bit Toolchain prefix for compat vDSO"
29	default ""
30	depends on GENERIC_COMPAT_VDSO
31	help
32	  Defines the cross-compiler prefix for compiling compat vDSO.
33	  If a 64 bit compiler (i.e. x86_64) can compile the VDSO for
34	  32 bit, it does not need to define this parameter.
35
36endif
37