# CONFIG_MINIX_SUBPARTITION is not set
CONFIG_MINI_FO=y
CONFIG_MISC_DEVICES=y
+# CONFIG_MISDN is not set
+# CONFIG_MISDN_HFCPCI is not set
CONFIG_MKISS=m
# CONFIG_MMC is not set
# CONFIG_MMC_ARMMMCI is not set
# CONFIG_NTFS_FS is not set
# CONFIG_NTFS_RW is not set
# CONFIG_OCF_BENCH is not set
+# CONFIG_OCF_EP80579 is not set
# CONFIG_OCF_IXP4XX is not set
# CONFIG_OCF_HIFN is not set
# CONFIG_OCF_HIFNHIPP is not set
# CONFIG_OCF_SAFE is not set
# CONFIG_OCF_TALITOS is not set
+# CONFIG_OCF_OCF is not set
# CONFIG_OCF_OCFNULL is not set
# CONFIG_OCFS2_FS is not set
# CONFIG_OSF_PARTITION is not set
# CONFIG_SQUASHFS_VMALLOC is not set
# CONFIG_SSB is not set
# CONFIG_SSB_DEBUG is not set
+# CONFIG_SSB_DRIVER_MIPS is not set
# CONFIG_SSB_PCMCIAHOST is not set
+# CONFIG_SSB_SILENT it not set
# CONFIG_SSFDC is not set
CONFIG_STACKTRACE_SUPPORT=y
CONFIG_STANDALONE=y
CONFIG_TEXTSEARCH_BM=m
CONFIG_TEXTSEARCH_FSM=m
CONFIG_TEXTSEARCH_KMP=m
+# CONFIG_THERMAL_HWMON is not set
+# CONFIG_THERMAL is not set
# CONFIG_TIFM_CORE is not set
# CONFIG_TIGON3 is not set
CONFIG_TIMERFD=y