diff --git a/projects/ARCTIC_MC/linux/linux.x86_64.conf b/projects/ARCTIC_MC/linux/linux.x86_64.conf index 30dff0c916..9e287dd950 100644 --- a/projects/ARCTIC_MC/linux/linux.x86_64.conf +++ b/projects/ARCTIC_MC/linux/linux.x86_64.conf @@ -176,7 +176,6 @@ CONFIG_HAVE_PCSPKR_PLATFORM=y CONFIG_EXPERT=y # CONFIG_UID16 is not set # CONFIG_SYSCTL_SYSCALL is not set -# CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS is not set CONFIG_PRINTK=y CONFIG_BUG=y @@ -2456,7 +2455,6 @@ CONFIG_MEDIA_TUNER_R820T=m # CONFIG_DVB_CX24120=m CONFIG_DVB_STB0899=m -CONFIG_DVB_CXD2099=m CONFIG_DVB_STB6100=m CONFIG_DVB_STV090x=m CONFIG_DVB_STV6110x=m @@ -2468,6 +2466,7 @@ CONFIG_DVB_DRXK=m CONFIG_DVB_TDA18271C2DD=m CONFIG_DVB_STV0367DD=m CONFIG_DVB_TDA18212DD=m +CONFIG_DVB_CXD2843=m # # DVB-S (satellite) frontends @@ -3349,6 +3348,7 @@ CONFIG_VT6656=m # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set CONFIG_STAGING_MEDIA=y CONFIG_DVB_AS102=m +CONFIG_DVB_CXD2099=m # CONFIG_VIDEO_DT3155 is not set # CONFIG_VIDEO_GO7007 is not set # CONFIG_USB_MSI3101 is not set diff --git a/projects/ATV/linux/linux.i386.conf b/projects/ATV/linux/linux.i386.conf index 9d474d8753..16808e7f4b 100644 --- a/projects/ATV/linux/linux.i386.conf +++ b/projects/ATV/linux/linux.i386.conf @@ -154,7 +154,6 @@ CONFIG_HAVE_PCSPKR_PLATFORM=y CONFIG_EXPERT=y # CONFIG_UID16 is not set # CONFIG_SYSCTL_SYSCALL is not set -# CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS is not set CONFIG_PRINTK=y CONFIG_BUG=y @@ -2094,7 +2093,6 @@ CONFIG_MEDIA_TUNER_R820T=m # CONFIG_DVB_CX24120=m CONFIG_DVB_STB0899=m -# CONFIG_DVB_CXD2099 is not set CONFIG_DVB_STB6100=m CONFIG_DVB_STV090x=m CONFIG_DVB_STV6110x=m @@ -2868,6 +2866,7 @@ CONFIG_RTS5139=m # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set CONFIG_STAGING_MEDIA=y CONFIG_DVB_AS102=m +# CONFIG_DVB_CXD2099 is not set # CONFIG_VIDEO_DT3155 is not set # CONFIG_VIDEO_GO7007 is not set # CONFIG_USB_MSI3101 is not set diff --git a/projects/Generic/linux/linux.i386.conf b/projects/Generic/linux/linux.i386.conf index 561c593259..bf35de083b 100644 --- a/projects/Generic/linux/linux.i386.conf +++ b/projects/Generic/linux/linux.i386.conf @@ -163,7 +163,6 @@ CONFIG_HAVE_PCSPKR_PLATFORM=y CONFIG_EXPERT=y # CONFIG_UID16 is not set # CONFIG_SYSCTL_SYSCALL is not set -# CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS is not set CONFIG_PRINTK=y CONFIG_BUG=y @@ -2479,7 +2478,6 @@ CONFIG_MEDIA_TUNER_R820T=m # CONFIG_DVB_CX24120=m CONFIG_DVB_STB0899=m -CONFIG_DVB_CXD2099=m CONFIG_DVB_STB6100=m CONFIG_DVB_STV090x=m CONFIG_DVB_STV6110x=m @@ -2491,6 +2489,7 @@ CONFIG_DVB_DRXK=m CONFIG_DVB_TDA18271C2DD=m CONFIG_DVB_STV0367DD=m CONFIG_DVB_TDA18212DD=m +CONFIG_DVB_CXD2843=m # # DVB-S (satellite) frontends @@ -3379,6 +3378,7 @@ CONFIG_VT6656=m # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set CONFIG_STAGING_MEDIA=y CONFIG_DVB_AS102=m +CONFIG_DVB_CXD2099=m # CONFIG_VIDEO_DT3155 is not set # CONFIG_VIDEO_GO7007 is not set # CONFIG_USB_MSI3101 is not set diff --git a/projects/Generic/linux/linux.x86_64.conf b/projects/Generic/linux/linux.x86_64.conf index 4dc88699ed..f8723cb178 100644 --- a/projects/Generic/linux/linux.x86_64.conf +++ b/projects/Generic/linux/linux.x86_64.conf @@ -176,7 +176,6 @@ CONFIG_HAVE_PCSPKR_PLATFORM=y CONFIG_EXPERT=y # CONFIG_UID16 is not set # CONFIG_SYSCTL_SYSCALL is not set -# CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS is not set CONFIG_PRINTK=y CONFIG_BUG=y @@ -2457,7 +2456,6 @@ CONFIG_MEDIA_TUNER_R820T=m # CONFIG_DVB_CX24120=m CONFIG_DVB_STB0899=m -CONFIG_DVB_CXD2099=m CONFIG_DVB_STB6100=m CONFIG_DVB_STV090x=m CONFIG_DVB_STV6110x=m @@ -2469,6 +2467,7 @@ CONFIG_DVB_DRXK=m CONFIG_DVB_TDA18271C2DD=m CONFIG_DVB_STV0367DD=m CONFIG_DVB_TDA18212DD=m +CONFIG_DVB_CXD2843=m # # DVB-S (satellite) frontends @@ -3348,6 +3347,7 @@ CONFIG_VT6656=m # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set CONFIG_STAGING_MEDIA=y CONFIG_DVB_AS102=m +CONFIG_DVB_CXD2099=m # CONFIG_VIDEO_DT3155 is not set # CONFIG_VIDEO_GO7007 is not set # CONFIG_USB_MSI3101 is not set diff --git a/projects/RPi/linux/linux.arm.conf b/projects/RPi/linux/linux.arm.conf index 6a925bed25..68eaadfdf1 100644 --- a/projects/RPi/linux/linux.arm.conf +++ b/projects/RPi/linux/linux.arm.conf @@ -136,7 +136,6 @@ CONFIG_HAVE_UID16=y CONFIG_EXPERT=y # CONFIG_UID16 is not set CONFIG_SYSCTL_SYSCALL=y -# CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS is not set CONFIG_PRINTK=y CONFIG_BUG=y diff --git a/projects/Virtual/linux/linux.i386.conf b/projects/Virtual/linux/linux.i386.conf index 9284eea4af..4dc66c226a 100644 --- a/projects/Virtual/linux/linux.i386.conf +++ b/projects/Virtual/linux/linux.i386.conf @@ -163,7 +163,6 @@ CONFIG_HAVE_PCSPKR_PLATFORM=y CONFIG_EXPERT=y # CONFIG_UID16 is not set # CONFIG_SYSCTL_SYSCALL is not set -# CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS is not set CONFIG_PRINTK=y CONFIG_BUG=y @@ -2478,7 +2477,6 @@ CONFIG_MEDIA_TUNER_R820T=m # CONFIG_DVB_CX24120=m CONFIG_DVB_STB0899=m -CONFIG_DVB_CXD2099=m CONFIG_DVB_STB6100=m CONFIG_DVB_STV090x=m CONFIG_DVB_STV6110x=m @@ -2490,6 +2488,7 @@ CONFIG_DVB_DRXK=m CONFIG_DVB_TDA18271C2DD=m CONFIG_DVB_STV0367DD=m CONFIG_DVB_TDA18212DD=m +CONFIG_DVB_CXD2843=m # # DVB-S (satellite) frontends @@ -3379,6 +3378,7 @@ CONFIG_VT6656=m # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set CONFIG_STAGING_MEDIA=y CONFIG_DVB_AS102=m +CONFIG_DVB_CXD2099=m # CONFIG_VIDEO_DT3155 is not set # CONFIG_VIDEO_GO7007 is not set # CONFIG_USB_MSI3101 is not set diff --git a/projects/Virtual/linux/linux.x86_64.conf b/projects/Virtual/linux/linux.x86_64.conf index dc9653b0ec..2b72b9cae9 100644 --- a/projects/Virtual/linux/linux.x86_64.conf +++ b/projects/Virtual/linux/linux.x86_64.conf @@ -176,7 +176,6 @@ CONFIG_HAVE_PCSPKR_PLATFORM=y CONFIG_EXPERT=y # CONFIG_UID16 is not set # CONFIG_SYSCTL_SYSCALL is not set -# CONFIG_KALLSYMS_ALL is not set # CONFIG_KALLSYMS is not set CONFIG_PRINTK=y CONFIG_BUG=y @@ -2456,7 +2455,6 @@ CONFIG_MEDIA_TUNER_R820T=m # CONFIG_DVB_CX24120=m CONFIG_DVB_STB0899=m -CONFIG_DVB_CXD2099=m CONFIG_DVB_STB6100=m CONFIG_DVB_STV090x=m CONFIG_DVB_STV6110x=m @@ -2468,6 +2466,7 @@ CONFIG_DVB_DRXK=m CONFIG_DVB_TDA18271C2DD=m CONFIG_DVB_STV0367DD=m CONFIG_DVB_TDA18212DD=m +CONFIG_DVB_CXD2843=m # # DVB-S (satellite) frontends @@ -3348,6 +3347,7 @@ CONFIG_VT6656=m # CONFIG_TOUCHSCREEN_SYNAPTICS_I2C_RMI4 is not set CONFIG_STAGING_MEDIA=y CONFIG_DVB_AS102=m +CONFIG_DVB_CXD2099=m # CONFIG_VIDEO_DT3155 is not set # CONFIG_VIDEO_GO7007 is not set # CONFIG_USB_MSI3101 is not set