1// SPDX-License-Identifier: GPL-2.0
2/*
3 * Configuration file for O32 and N32 binaries.
4 * Note: To be included before lib/vdso/gettimeofday.c
5 */
6#if defined(CONFIG_MIPS32_O32) || defined(CONFIG_MIPS32_N32)
7/*
8 * In case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
9 * configuration.
10 */
11#undef CONFIG_64BIT
12
13#define BUILD_VDSO32
14#define CONFIG_32BIT 1
15#define CONFIG_GENERIC_ATOMIC64 1
16#define BUILD_VDSO32_64
17
18#endif
19
20