From c9d97d27306514bc752bb3964961feda602f9c5c Mon Sep 17 00:00:00 2001 From: Ben Hutchings Date: Thu, 11 Sep 2014 04:20:33 +0000 Subject: [PATCH] Explicitly set many config symbols to their defaults svn path=/dists/sid/linux/; revision=21806 --- debian/config/config | 110 ++++++++++++++++++++++++++++ debian/config/kernelarch-x86/config | 9 +++ 2 files changed, 119 insertions(+) diff --git a/debian/config/config b/debian/config/config index b45d5cfb4..b229b3146 100644 --- a/debian/config/config +++ b/debian/config/config @@ -136,6 +136,7 @@ CONFIG_A11Y_BRAILLE_CONSOLE=y ## CONFIG_ACPI_INITRD_TABLE_OVERRIDE=y # CONFIG_ACPI_BGRT is not set +# CONFIG_ACPI_REDUCED_HARDWARE_ONLY is not set ## ## file: drivers/ata/Kconfig @@ -282,6 +283,7 @@ CONFIG_XEN_BLKDEV_BACKEND=m CONFIG_VIRTIO_BLK=m # CONFIG_BLK_DEV_HD is not set CONFIG_BLK_DEV_RBD=m +# CONFIG_BLK_DEV_RSXX is not set ## ## file: drivers/block/drbd/Kconfig @@ -402,6 +404,8 @@ CONFIG_ASYNC_TX_DMA=y ## ## file: drivers/edac/Kconfig ## +CONFIG_EDAC_LEGACY_SYSFS=y +# CONFIG_EDAC_MCE_INJ is not set CONFIG_EDAC_I82975X=m CONFIG_EDAC_I3200=m CONFIG_EDAC_X38=m @@ -473,6 +477,11 @@ CONFIG_DRM_SAVAGE=m ## # CONFIG_DRM_AST is not set +## +## file: drivers/gpu/drm/bridge/Kconfig +## +# CONFIG_DRM_PTN3460 is not set + ## ## file: drivers/gpu/drm/cirrus/Kconfig ## @@ -1053,6 +1062,7 @@ CONFIG_KEYBOARD_MAX7359=m # CONFIG_KEYBOARD_MCS is not set # CONFIG_KEYBOARD_MPR121 is not set CONFIG_KEYBOARD_OPENCORES=m +# CONFIG_KEYBOARD_SAMSUNG is not set CONFIG_KEYBOARD_STOWAWAY=m ## @@ -1063,6 +1073,7 @@ CONFIG_KEYBOARD_STOWAWAY=m # CONFIG_INPUT_MMA8450 is not set # CONFIG_INPUT_MPU3050 is not set # CONFIG_INPUT_GP2A is not set +# CONFIG_INPUT_GPIO_BEEPER is not set # CONFIG_INPUT_GPIO_TILT_POLLED is not set CONFIG_INPUT_ATI_REMOTE2=m CONFIG_INPUT_KEYSPAN_REMOTE=m @@ -1243,11 +1254,18 @@ CONFIG_MISDN_L1OIP=m ## CONFIG_NEW_LEDS=y CONFIG_LEDS_CLASS=y +# CONFIG_LEDS_LM3530 is not set +# CONFIG_LEDS_LM3642 is not set CONFIG_LEDS_NET48XX=m CONFIG_LEDS_PCA9532=m # CONFIG_LEDS_GPIO is not set CONFIG_LEDS_LP3944=m +# CONFIG_LEDS_LP5521 is not set +# CONFIG_LEDS_LP5523 is not set +# CONFIG_LEDS_LP5562 is not set +# CONFIG_LEDS_LP8501 is not set CONFIG_LEDS_PCA955X=m +# CONFIG_LEDS_PCA963X is not set CONFIG_LEDS_WM831X_STATUS=m CONFIG_LEDS_WM8350=m CONFIG_LEDS_DAC124S085=m @@ -1257,6 +1275,10 @@ CONFIG_LEDS_INTEL_SS4200=m CONFIG_LEDS_LT3593=m CONFIG_LEDS_DELL_NETBOOKS=m CONFIG_LEDS_MC13783=m +# CONFIG_LEDS_TCA6507 is not set +# CONFIG_LEDS_LM355x is not set +# CONFIG_LEDS_OT200 is not set +# CONFIG_LEDS_BLINKM is not set ## ## file: drivers/leds/trigger/Kconfig @@ -1655,6 +1677,7 @@ CONFIG_IR_JVC_DECODER=m CONFIG_IR_SONY_DECODER=m CONFIG_IR_RC5_SZ_DECODER=m CONFIG_IR_SANYO_DECODER=m +CONFIG_IR_SHARP_DECODER=m CONFIG_IR_MCE_KBD_DECODER=m CONFIG_RC_DEVICES=y CONFIG_RC_ATI_REMOTE=m @@ -1669,6 +1692,11 @@ CONFIG_IR_TTUSBIR=m CONFIG_RC_LOOPBACK=m # CONFIG_IR_GPIO_CIR is not set +## +## file: drivers/media/rc/img-ir/Kconfig +## +# CONFIG_IR_IMG is not set + ## ## file: drivers/media/rc/keymaps/Kconfig ## @@ -1966,12 +1994,15 @@ CONFIG_I2O_BUS=m ## file: drivers/mfd/Kconfig ## # CONFIG_MFD_CS5535 is not set +# CONFIG_MFD_BCM590XX is not set +# CONFIG_MFD_CROS_EC is not set # CONFIG_MFD_DA9052_SPI is not set # CONFIG_MFD_MC13XXX_SPI is not set # CONFIG_MFD_MC13XXX_I2C is not set # CONFIG_HTC_PASIC3 is not set CONFIG_LPC_SCH=m # CONFIG_MFD_JANZ_CMODIO is not set +# CONFIG_MFD_KEMPLD is not set # CONFIG_EZX_PCAP is not set # CONFIG_MFD_RETU is not set # CONFIG_MFD_PCF50633 is not set @@ -1994,6 +2025,7 @@ CONFIG_AB3100_OTP=m # CONFIG_TPS65010 is not set # CONFIG_TPS6507X is not set # CONFIG_MFD_TPS65217 is not set +# CONFIG_MFD_TPS65218 is not set # CONFIG_MFD_TPS65912 is not set # CONFIG_MFD_TPS65912_I2C is not set # CONFIG_MFD_TPS65912_SPI is not set @@ -2095,6 +2127,11 @@ CONFIG_MMC_BLOCK_BOUNCE=y CONFIG_SDIO_UART=m # CONFIG_MMC_TEST is not set +## +## file: drivers/mmc/core/Kconfig +## +# CONFIG_MMC_CLKGATE is not set + ## ## file: drivers/mmc/host/Kconfig ## @@ -2110,6 +2147,7 @@ CONFIG_MMC_CB710=m CONFIG_MMC_VIA_SDMMC=m CONFIG_MMC_VUB300=m CONFIG_MMC_USHC=m +# CONFIG_MMC_USDHI6ROL0 is not set CONFIG_MMC_REALTEK_PCI=m ## @@ -2402,6 +2440,7 @@ CONFIG_NET_VENDOR_EMULEX=y ## file: drivers/net/ethernet/emulex/benet/Kconfig ## CONFIG_BE2NET=m +CONFIG_BE2NET_VXLAN=y ## ## file: drivers/net/ethernet/i825xx/Kconfig @@ -2455,6 +2494,7 @@ CONFIG_NET_VENDOR_MELLANOX=y ## CONFIG_MLX4_EN=m CONFIG_MLX4_EN_DCB=y +CONFIG_MLX4_EN_VXLAN=y CONFIG_MLX4_DEBUG=y ## @@ -2514,6 +2554,7 @@ CONFIG_QLA3XXX=m CONFIG_QLCNIC=m CONFIG_QLCNIC_SRIOV=y CONFIG_QLCNIC_DCB=y +CONFIG_QLCNIC_HWMON=y CONFIG_QLGE=m CONFIG_NETXEN_NIC=m @@ -2534,6 +2575,11 @@ CONFIG_R8169=m ## # CONFIG_SH_ETH is not set +## +## file: drivers/net/ethernet/samsung/Kconfig +CONFIG_NET_VENDOR_SAMSUNG=y +# CONFIG_SXGBE_ETH is not set + ## ## file: drivers/net/ethernet/seeq/Kconfig ## @@ -2666,6 +2712,7 @@ CONFIG_VITESSE_PHY=m CONFIG_SMSC_PHY=m CONFIG_BROADCOM_PHY=m # CONFIG_BCM63XX_PHY is not set +# CONFIG_BCM7XXX_PHY is not set CONFIG_BCM87XX_PHY=m CONFIG_ICPLUS_PHY=m CONFIG_REALTEK_PHY=m @@ -2928,6 +2975,7 @@ CONFIG_IWL3945=m CONFIG_IWLWIFI=m CONFIG_IWLDVM=m CONFIG_IWLMVM=m +# CONFIG_IWLWIFI_BCAST_FILTERING is not set # CONFIG_IWLWIFI_DEBUG is not set # CONFIG_IWLWIFI_DEVICE_TRACING is not set @@ -3017,6 +3065,7 @@ CONFIG_ZD1211RW=m ## file: drivers/nfc/Kconfig ## CONFIG_NFC_PN533=m +# CONFIG_NFC_TRF7970A is not set CONFIG_NFC_SIM=m CONFIG_NFC_PORT100=m @@ -3089,6 +3138,13 @@ CONFIG_YENTA_TOSHIBA=y # CONFIG_PHY_EXYNOS_DP_VIDEO is not set # CONFIG_BCM_KONA_USB2_PHY is not set +## +## file: drivers/pinctrl/Kconfig +## +# CONFIG_PINMUX is not set +# CONFIG_PINCONF is not set +# CONFIG_DEBUG_PINCTRL is not set + ## ## file: drivers/platform/x86/Kconfig ## @@ -3190,6 +3246,7 @@ CONFIG_PTP_1588_CLOCK_IXP46X=m ## file: drivers/rtc/Kconfig ## CONFIG_RTC_CLASS=y +CONFIG_RTC_SYSTOHC=y CONFIG_RTC_HCTOSYS=y CONFIG_RTC_HCTOSYS_DEVICE="rtc0" # CONFIG_RTC_DEBUG is not set @@ -3201,12 +3258,15 @@ CONFIG_RTC_INTF_DEV=y # CONFIG_RTC_DRV_DS1307 is not set # CONFIG_RTC_DRV_DS1374 is not set # CONFIG_RTC_DRV_DS1672 is not set +# CONFIG_RTC_DRV_DS3232 is not set # CONFIG_RTC_DRV_MAX6900 is not set # CONFIG_RTC_DRV_RS5C372 is not set # CONFIG_RTC_DRV_ISL1208 is not set # CONFIG_RTC_DRV_ISL12022 is not set # CONFIG_RTC_DRV_ISL12057 is not set # CONFIG_RTC_DRV_X1205 is not set +# CONFIG_RTC_DRV_PCF2127 is not set +# CONFIG_RTC_DRV_PCF8523 is not set # CONFIG_RTC_DRV_PCF8563 is not set # CONFIG_RTC_DRV_PCF8583 is not set # CONFIG_RTC_DRV_M41T80 is not set @@ -3216,14 +3276,21 @@ CONFIG_RTC_INTF_DEV=y # CONFIG_RTC_DRV_FM3130 is not set # CONFIG_RTC_DRV_RX8581 is not set # CONFIG_RTC_DRV_RX8025 is not set +# CONFIG_RTC_DRV_EM3027 is not set +# CONFIG_RTC_DRV_RV3029C2 is not set +# CONFIG_RTC_DRV_M41T93 is not set # CONFIG_RTC_DRV_M41T94 is not set # CONFIG_RTC_DRV_DS1305 is not set +# CONFIG_RTC_DRV_DS1343 is not set +# CONFIG_RTC_DRV_DS1347 is not set # CONFIG_RTC_DRV_DS1390 is not set # CONFIG_RTC_DRV_MAX6902 is not set # CONFIG_RTC_DRV_R9701 is not set # CONFIG_RTC_DRV_RS5C348 is not set # CONFIG_RTC_DRV_DS3234 is not set # CONFIG_RTC_DRV_PCF2123 is not set +# CONFIG_RTC_DRV_RX4581 is not set +# CONFIG_RTC_DRV_MCP795 is not set CONFIG_RTC_DRV_CMOS=m # CONFIG_RTC_DRV_DS1286 is not set # CONFIG_RTC_DRV_DS1511 is not set @@ -3237,10 +3304,14 @@ CONFIG_RTC_DRV_CMOS=m # CONFIG_RTC_DRV_BQ4802 is not set # CONFIG_RTC_DRV_RP5C01 is not set # CONFIG_RTC_DRV_V3020 is not set +# CONFIG_RTC_DRV_DS2404 is not set CONFIG_RTC_DRV_WM831X=m CONFIG_RTC_DRV_WM8350=m CONFIG_RTC_DRV_PCF50633=m CONFIG_RTC_DRV_AB3100=m +# CONFIG_RTC_DRV_MOXART is not set +# CONFIG_RTC_DRV_XGENE is not set +# CONFIG_RTC_DRV_HID_SENSOR_TIME is not set ## ## file: drivers/scsi/Kconfig @@ -3457,6 +3528,11 @@ CONFIG_SPI_LM70_LLP=m # CONFIG_SPI_SPIDEV is not set # CONFIG_SPI_TLE62X0 is not set +## +## file: drivers/spmi/Kconfig +## +# CONFIG_SPMI is not set + ## ## file: drivers/ssb/Kconfig ## @@ -3706,6 +3782,7 @@ CONFIG_HVC_XEN_FRONTEND=y # CONFIG_SERIAL_MAX310X is not set CONFIG_SERIAL_MFD_HSU=m # CONFIG_SERIAL_SCCNXP is not set +# CONFIG_SERIAL_SC16IS7XX is not set # CONFIG_SERIAL_TIMBERDALE is not set # CONFIG_SERIAL_ALTERA_JTAGUART is not set # CONFIG_SERIAL_ALTERA_UART is not set @@ -3774,8 +3851,15 @@ CONFIG_USB_ANNOUNCE_NEW_DEVICES=y CONFIG_USB_DEFAULT_PERSIST=y CONFIG_USB_DYNAMIC_MINORS=y # CONFIG_USB_OTG is not set +# CONFIG_USB_OTG_WHITELIST is not set +# CONFIG_USB_OTG_BLACKLIST_HUB is not set # CONFIG_USB_OTG_FSM is not set +## +## file: drivers/usb/dwc2/Kconfig +## +# CONFIG_USB_DWC2 is not set + ## ## file: drivers/usb/dwc3/Kconfig ## @@ -3785,7 +3869,20 @@ CONFIG_USB_DYNAMIC_MINORS=y ## file: drivers/usb/gadget/Kconfig ## # CONFIG_USB_GADGET is not set +# CONFIG_USB_GADGET_DEBUG is not set +# CONFIG_USB_GADGET_DEBUG_FILES is not set +# CONFIG_USB_GADGET_DEBUG_FS is not set # CONFIG_USB_GR_UDC is not set +CONFIG_USB_GADGET_STORAGE_NUM_BUFFERS=2 +# CONFIG_USB_FOTG210_UDC is not set +# CONFIG_USB_R8A66597 is not set +# CONFIG_USB_PXA27X is not set +# CONFIG_USB_MV_UDC is not set +# CONFIG_USB_MV_U3D is not set +# CONFIG_USB_M66592 is not set +# CONFIG_USB_AMD5536UDC is not set +# CONFIG_USB_NET2272 is not set +# CONFIG_USB_GOKU is not set ## ## file: drivers/usb/host/Kconfig @@ -3800,6 +3897,8 @@ CONFIG_USB_EHCI_TT_NEWSCHED=y # CONFIG_USB_ISP1760_HCD is not set # CONFIG_USB_ISP1362_HCD is not set # CONFIG_USB_FUSBH200_HCD is not set +# CONFIG_USB_FOTG210_HCD is not set +# CONFIG_USB_MAX3421_HCD is not set CONFIG_USB_OHCI_HCD_PCI=y # CONFIG_USB_OHCI_HCD_PLATFORM is not set CONFIG_USB_U132_HCD=m @@ -3808,6 +3907,7 @@ CONFIG_USB_WHCI_HCD=m CONFIG_USB_HWA_HCD=m # CONFIG_USB_HCD_BCMA is not set # CONFIG_USB_HCD_SSB is not set +# CONFIG_USB_HCD_TEST_MODE is not set ## ## file: drivers/usb/image/Kconfig @@ -3837,6 +3937,7 @@ CONFIG_USB_IOWARRIOR=m CONFIG_USB_TEST=m CONFIG_USB_ISIGHTFW=m CONFIG_USB_YUREX=m +# CONFIG_USB_HSIC_USB3503 is not set ## ## file: drivers/usb/misc/sisusbvga/Kconfig @@ -3986,6 +4087,13 @@ CONFIG_BACKLIGHT_CLASS_DEVICE=y CONFIG_BACKLIGHT_APPLE=m # CONFIG_BACKLIGHT_SAHARA is not set CONFIG_BACKLIGHT_WM831X=m +# CONFIG_BACKLIGHT_ADP8860 is not set +# CONFIG_BACKLIGHT_ADP8870 is not set +# CONFIG_BACKLIGHT_LM3639 is not set +# CONFIG_BACKLIGHT_OT200 is not set +# CONFIG_BACKLIGHT_GPIO is not set +# CONFIG_BACKLIGHT_LV5207LP is not set +# CONFIG_BACKLIGHT_BD6107 is not set ## ## file: drivers/video/console/Kconfig @@ -4099,6 +4207,7 @@ CONFIG_WATCHDOG=y CONFIG_SOFT_WATCHDOG=m CONFIG_WM831X_WATCHDOG=m CONFIG_WM8350_WATCHDOG=m +# CONFIG_XILINX_WATCHDOG is not set # CONFIG_DW_WATCHDOG is not set CONFIG_SBC_FITPC2_WATCHDOG=m CONFIG_ITCO_WDT=m @@ -5824,6 +5933,7 @@ CONFIG_SND_HRTIMER=m CONFIG_SND_SEQ_HRTIMER_DEFAULT=y # CONFIG_SND_RTCTIMER is not set CONFIG_SND_DYNAMIC_MINORS=y +CONFIG_SND_MAX_CARDS=32 CONFIG_SND_SUPPORT_OLD_API=y CONFIG_SND_VERBOSE_PROCFS=y # CONFIG_SND_VERBOSE_PRINTK is not set diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config index c77fca10b..c7d9ff7eb 100644 --- a/debian/config/kernelarch-x86/config +++ b/debian/config/kernelarch-x86/config @@ -317,6 +317,7 @@ CONFIG_IPMI_HANDLER=m # CONFIG_IPMI_PANIC_EVENT is not set CONFIG_IPMI_DEVICE_INTERFACE=m CONFIG_IPMI_SI=m +# CONFIG_IPMI_SI_PROBE_DEFAULTS is not set CONFIG_IPMI_WATCHDOG=m CONFIG_IPMI_POWEROFF=m @@ -769,6 +770,7 @@ CONFIG_HP_ILO=m ## CONFIG_INTEL_MEI=m CONFIG_INTEL_MEI_ME=m +# CONFIG_INTEL_MEI_TXE is not set ## ## file: drivers/misc/vmw_vmci/Kconfig @@ -894,6 +896,7 @@ CONFIG_ARCNET_COM20020_CS=m ## ## file: drivers/net/ethernet/Kconfig ## +# CONFIG_CX_ECAT is not set CONFIG_FEALNX=m ## @@ -919,6 +922,11 @@ CONFIG_PCMCIA_PCNET=m CONFIG_NET_VENDOR_ADAPTEC=y CONFIG_ADAPTEC_STARFIRE=m +## +## file: drivers/net/ethernet/altera/Kconfig +## +# CONFIG_ALTERA_TSE is not set + ## ## file: drivers/net/ethernet/amd/Kconfig ## @@ -1556,6 +1564,7 @@ CONFIG_USB_OHCI_HCD=m # CONFIG_USB_OHCI_HCD_SSB is not set CONFIG_USB_UHCI_HCD=m CONFIG_USB_SL811_HCD=m +# CONFIG_USB_SL811_HCD_ISO is not set CONFIG_USB_SL811_CS=m ##