cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

config-n32-o32-env.c (433B)

      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