Orange Pi5 kernel

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