kernel: add some missing config options found by the buildbot.

[openwrt/openwrt.git] / target / linux / generic / config-3.8

diff --git a/target/linux/generic/config-3.8 b/target/linux/generic/config-3.8
index ab18cffaeeb0b2020b813f45c8d1355dd0c78f5b..36c53b4ea06d2e5515daa143e84f70ba1945d59b 100644 (file)
--- a/target/linux/generic/config-3.8
+++ b/target/linux/generic/config-3.8
@@ -853,6 +853,7 @@ CONFIG_FW_LOADER=y
 CONFIG_GACT_PROB=y
 # CONFIG_GADGET_UAC1 is not set
 # CONFIG_GAMEPORT is not set
+# CONFIG_GCOV is not set
 # CONFIG_GCOV_KERNEL is not set
 CONFIG_GENERIC_CALIBRATE_DELAY=y
 # CONFIG_GENERIC_CPU_DEVICES is not set
@@ -1203,6 +1204,7 @@ CONFIG_INPUT_MISC=y
 # CONFIG_INPUT_WISTRON_BTNS is not set
 # CONFIG_INPUT_YEALINK is not set
 # CONFIG_INTEL_IDLE is not set
+# CONFIG_INTEL_MEI is not set
 # CONFIG_INTEL_MID_PTI is not set
 # CONFIG_INTEL_OAKTRAIL is not set
 # CONFIG_INTERVAL_TREE_TEST is not set
@@ -1522,6 +1524,7 @@ CONFIG_LZMA_DECOMPRESS=y
 # CONFIG_MEDIA_CAMERA_SUPPORT is not set
 # CONFIG_MEDIA_CONTROLLER is not set
 # CONFIG_MEDIA_DIGITAL_TV_SUPPORT is not set
+# CONFIG_MEDIA_PARPORT_SUPPORT is not set
 # CONFIG_MEDIA_PCI_SUPPORT is not set
 # CONFIG_MEDIA_RADIO_SUPPORT is not set
 # CONFIG_MEDIA_RC_SUPPORT is not set