From 45b24fa771413aadb559300c73a69e55ed8b0435 Mon Sep 17 00:00:00 2001 From: Hauke Mehrtens Date: Sun, 10 Mar 2013 20:25:19 +0000 Subject: kernel: add some missing config options found by the buildbot. SVN-Revision: 35945 --- target/linux/generic/config-3.7 | 3 +++ 1 file changed, 3 insertions(+) (limited to 'target/linux/generic/config-3.7') diff --git a/target/linux/generic/config-3.7 b/target/linux/generic/config-3.7 index 918b8e1b61..fbb6c558f0 100644 --- a/target/linux/generic/config-3.7 +++ b/target/linux/generic/config-3.7 @@ -837,6 +837,7 @@ CONFIG_FUTEX=y CONFIG_FW_LOADER=y CONFIG_GACT_PROB=y # 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 @@ -1183,6 +1184,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 @@ -1501,6 +1503,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 -- cgit v1.2.3