# SPDX-License-Identifier: MIT
#.........................................................................
#                                WARNING
#
# This file is a kernel configuration fragment, and not a full kernel
# configuration file.  The final kernel configuration is made up of
# an assembly of processed fragments, each of which is designed to
# capture a specific part of the final configuration (e.g. platform
# configuration, feature configuration, and board specific hardware
# configuration).  For more information on kernel configuration, please
# consult the product documentation.
#
#.........................................................................

# Switch back to x86-32 from x86-64
CONFIG_X86_32=y
CONFIG_64BIT=n

#
# Processor type and features
#
CONFIG_X86_BIGSMP=y
CONFIG_X86_GENERIC=y
CONFIG_HIGHMEM64G=y

# Processor type and features
CONFIG_NR_CPUS=64