2019-06-21 17:52:46 +08:00
|
|
|
// 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
|
|
|
|
|
2019-08-30 21:58:57 +08:00
|
|
|
#define BUILD_VDSO32
|
2019-06-21 17:52:46 +08:00
|
|
|
#define CONFIG_32BIT 1
|
|
|
|
#define CONFIG_GENERIC_ATOMIC64 1
|
2019-08-06 19:24:50 +08:00
|
|
|
#define BUILD_VDSO32_64
|
2019-06-21 17:52:46 +08:00
|
|
|
|
|
|
|
#endif
|
|
|
|
|