# CONFIG_EXT4_DEBUG is not set
# CONFIG_EXT4DEV_FS is not set
# CONFIG_EXT4_FS is not set
+# CONFIG_EXT4_FS_XATTR is not set
CONFIG_EXTRA_FIRMWARE=""
CONFIG_EXTRA_TARGETS=""
# CONFIG_EZX_PCAP is not set
CONFIG_GENERIC_HWEIGHT=y
CONFIG_GENERIC_IRQ_PROBE=y
CONFIG_GENERIC_TIME=y
+# CONFIG_GIGASET_CAPI is not set
# CONFIG_GIGASET_DEBUG is not set
# CONFIG_GFS2_FS is not set
# CONFIG_GPIO_BT8XX is not set
# CONFIG_IRQSOFF_TRACER is not set
# CONFIG_ISCSI_TCP is not set
CONFIG_ISDN=y
+# CONFIG_ISDN_I4L is not set
# CONFIG_ISDN_AUDIO is not set
+# CONFIG_ISDN_CAPI is not set
# CONFIG_ISDN_CAPI_CAPIDRV is not set
# CONFIG_ISDN_DIVERSION is not set
# CONFIG_ISDN_DRV_ACT2000 is not set
# CONFIG_ISDN_DRV_AVMB1_VERBOSE_REASON is not set
# CONFIG_ISDN_DRV_EICON is not set
+# CONFIG_ISDN_DRV_GIGASET is not set
# CONFIG_ISDN_DRV_HISAX is not set
# CONFIG_ISDN_DRV_ICN is not set
# CONFIG_ISDN_DRV_LOOP is not set
# CONFIG_TUN is not set
# CONFIG_TWL4030_CORE is not set
# CONFIG_UACCESS_WITH_MEMCPY is not set
+# CONFIG_UCB1400_CORE is not set
# CONFIG_UDF_FS is not set
CONFIG_UDF_NLS=y
CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"