#
# Automatically generated file; DO NOT EDIT.
-# Linux/x86 3.10.10-ipfire Kernel Configuration
+# Linux/x86 3.10.10 Kernel Configuration
#
# CONFIG_64BIT is not set
CONFIG_X86_32=y
CONFIG_MICROCODE_INTEL_LIB=y
CONFIG_MICROCODE_INTEL_EARLY=y
CONFIG_MICROCODE_EARLY=y
+# CONFIG_X86_MSR is not set
CONFIG_X86_CPUID=y
# CONFIG_NOHIGHMEM is not set
CONFIG_HIGHMEM4G=y
CONFIG_N_HDLC=m
CONFIG_N_GSM=m
# CONFIG_TRACE_SINK is not set
+# CONFIG_DEVKMEM is not set
# CONFIG_STALDRV is not set
#
CONFIG_HANGCHECK_TIMER=m
# CONFIG_TCG_TPM is not set
# CONFIG_TELCLOCK is not set
+CONFIG_DEVPORT=y
CONFIG_I2C=m
CONFIG_I2C_BOARDINFO=y
CONFIG_I2C_COMPAT=y
#
# Memory Protections
#
-CONFIG_GRKERNSEC_KMEM=y
+# CONFIG_GRKERNSEC_KMEM is not set
CONFIG_GRKERNSEC_VM86=y
# CONFIG_GRKERNSEC_IO is not set
# CONFIG_GRKERNSEC_PERF_HARDEN is not set
CONFIG_MICROCODE_INTEL_LIB=y
CONFIG_MICROCODE_INTEL_EARLY=y
CONFIG_MICROCODE_EARLY=y
+# CONFIG_X86_MSR is not set
CONFIG_X86_CPUID=y
# CONFIG_NOHIGHMEM is not set
# CONFIG_HIGHMEM4G is not set
CONFIG_N_HDLC=m
CONFIG_N_GSM=m
# CONFIG_TRACE_SINK is not set
+# CONFIG_DEVKMEM is not set
# CONFIG_STALDRV is not set
#
CONFIG_HANGCHECK_TIMER=m
# CONFIG_TCG_TPM is not set
# CONFIG_TELCLOCK is not set
+CONFIG_DEVPORT=y
CONFIG_I2C=m
CONFIG_I2C_BOARDINFO=y
CONFIG_I2C_COMPAT=y
#
# Memory Protections
#
-CONFIG_GRKERNSEC_KMEM=y
+# CONFIG_GRKERNSEC_KMEM is not set
CONFIG_GRKERNSEC_VM86=y
# CONFIG_GRKERNSEC_IO is not set
# CONFIG_GRKERNSEC_PERF_HARDEN is not set