##
## file: arch/s390/Kconfig
CONFIG_64BIT=y
## choice: Processor type
# CONFIG_MARCH_G5 is not set
CONFIG_MARCH_Z900=y
# CONFIG_MARCH_Z990 is not set
# CONFIG_MARCH_Z9_109 is not set
# CONFIG_MARCH_Z10 is not set
## end choice