blob: da4994b2b3e53b0f6e14b8d96c5557c64c6864ce (
plain)
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 CONFIG_32BIT 1
#define CONFIG_GENERIC_ATOMIC64 1
#endif
|
