CONFIG_ARCH_S390X=y
CONFIG_64BIT=y
CONFIG_S390_SUPPORT=y
CONFIG_COMPAT=y
CONFIG_SYSVIPC_COMPAT=y
CONFIG_BINFMT_ELF32=y
# CONFIG_MARCH_G5 is not set
CONFIG_MARCH_Z900=y
# CONFIG_IPL_TAPE is not set
CONFIG_IPL_VM=y
