##
## file: arch/s390/Kconfig
##
# CONFIG_64BIT is not set
## choice: Processor type
CONFIG_MARCH_G5=y
# CONFIG_MARCH_Z900 is not set
# CONFIG_MARCH_Z990 is not set
# CONFIG_MARCH_Z9_109 is not set
## end choice
## choice: IPL method generated into head.S
# CONFIG_IPL_TAPE is not set
CONFIG_IPL_VM=y
## end choice

## file: fs/btrfs/Kconfig
##
#. Needs __ucmpdi2
# CONFIG_BTRFS_FS is not set

##
## file: mm/Kconfig
##
# CONFIG_RESOURCES_64BIT is not set