5 CONFIG_VIRTIO_CONSOLE=y
13 CONFIG_SHARED_KERNEL=y
17 CONFIG_LOG_BUF_SHIFT=17
18 CONFIG_SMSGIUCV_EVENT=m
19 CONFIG_STRICT_DEVMEM=y
22 CONFIG_CRYPTO_GHASH_S390=m
23 CONFIG_KEXEC_AUTO_RESERVE=y
30 CONFIG_SCM_BLOCK_CLUSTER_WRITE=y
31 # CONFIG_TR is not set
32 # CONFIG_PREEMPT_VOLUNTARY is not set
33 # CONFIG_PREEMPT is not set
34 # CONFIG_PREEMPT_BKL is not set
35 # CONFIG_HOTPLUG_PCI_PCIE is not set
36 # CONFIG_NETIUCV is not set
37 # CONFIG_MARCH_Z900 is not set
38 # CONFIG_QETH_VLAN is not set
39 # CONFIG_CTC is not set
40 # CONFIG_QDIO_DEBUG is not set
41 # CONFIG_IPL_TAPE is not set
42 # CONFIG_HZ_1000 is not set
43 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
44 # CONFIG_ZFCPDUMP is not set
45 # CONFIG_FTRACE_SYSCALLS is not set
46 # CONFIG_KVM is not set
47 # CONFIG_GFS2_FS is not set
48 # CONFIG_XFS_FS is not set
49 # CONFIG_SECCOMP is not set