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