#
CONFIG_KTIME_SCALAR=y
+#
+# Timers subsystem
+#
+CONFIG_NO_HZ_IDLE=y
+
+#
+# CPU/Task time and stats accounting
+#
+# CONFIG_TICK_CPU_ACCOUNTING is not set
+CONFIG_IRQ_TIME_ACCOUNTING=y
+
#
# RCU Subsystem
#
CONFIG_RCU_FANOUT=32
+# CONFIG_RCU_NOCB_CPU_NONE is not set
+# CONFIG_RCU_NOCB_CPU_ZERO is not set
#
# Kernel Performance Events And Counters
CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
CONFIG_MODULES_USE_ELF_REL=y
CONFIG_CLONE_BACKWARDS=y
+CONFIG_OLD_SIGACTION=y
#
# GCOV-based kernel profiling
# Processor type and features
#
CONFIG_X86_BIGSMP=y
+# CONFIG_X86_GOLDFISH is not set
# CONFIG_X86_WANT_INTEL_MID is not set
# CONFIG_X86_RDC321X is not set
CONFIG_X86_32_NON_STANDARD=y
CONFIG_X86_INTEL_USERCOPY=y
CONFIG_X86_USE_PPRO_CHECKSUM=y
CONFIG_X86_MINIMUM_CPU_FAMILY=5
+CONFIG_CPU_SUP_CYRIX_32=y
CONFIG_CPU_SUP_TRANSMETA_32=y
+CONFIG_CPU_SUP_UMC_32=y
CONFIG_NR_CPUS=32
# CONFIG_X86_ANCIENT_MCE is not set
CONFIG_VM86=y
# CONFIG_NOHIGHMEM is not set
# CONFIG_HIGHMEM4G is not set
CONFIG_HIGHMEM64G=y
+CONFIG_VMSPLIT_3G=y
+# CONFIG_VMSPLIT_2G is not set
+# CONFIG_VMSPLIT_1G is not set
CONFIG_PAGE_OFFSET=0xC0000000
CONFIG_HIGHMEM=y
CONFIG_X86_PAE=y
CONFIG_PCI_BIOS=y
# CONFIG_PCI_PRI is not set
# CONFIG_PCI_PASID is not set
+
+#
+# PCI host controller drivers
+#
# CONFIG_ISA is not set
# CONFIG_SCx200 is not set
# CONFIG_ALIX is not set
#
CONFIG_VIDEO_CAFE_CCIC=m
+#
+# Camera sensor devices
+#
+CONFIG_VIDEO_OV7670=m
+
#
# Graphics support
#
# Frame buffer hardware drivers
#
# CONFIG_FB_I810 is not set
+# CONFIG_FB_GEODE is not set
#
# Console display driver support
CONFIG_CLKSRC_I8253=y
#
-# Kernel hacking
+# Memory Debugging
#
# CONFIG_DEBUG_HIGHMEM is not set
-CONFIG_DOUBLEFAULT=y
#
# Grsecurity
#
# CONFIG_INTEL_TXT is not set
+#
+# Crypto core or helper
+#
+CONFIG_CRYPTO_GLUE_HELPER_X86=m
+
#
# Ciphers
#