CONFIG_S390=y
CONFIG_S390_GUEST=y
CONFIG_HW_RANDOM_S390=y
CONFIG_S390_IOMMU=y
# S/390x widly uses CCW devices
CONFIG_CCW=y
# Select default KVM options from arch/s390/kvm/Kconfig
CONFIG_VIRTUALIZATION=y
CONFIG_HAVE_KVM=y
CONFIG_KVM=y

CONFIG_MODULES=y
CONFIG_MODULE_SIG=y
CONFIG_RANDOMIZE_BASE=y
