diff options
Diffstat (limited to 'debian/config/armhf/config')
| -rw-r--r-- | debian/config/armhf/config | 49 |
1 files changed, 38 insertions, 11 deletions
diff --git a/debian/config/armhf/config b/debian/config/armhf/config index af51773b9..5c5d68944 100644 --- a/debian/config/armhf/config +++ b/debian/config/armhf/config @@ -2,9 +2,6 @@ ## file: arch/arm/Kconfig ## CONFIG_ARCH_MULTIPLATFORM=y -# CONFIG_ARCH_MULTI_V6 is not set -CONFIG_ARCH_MULTI_V7=y -CONFIG_ARCH_VIRT=y CONFIG_ARM_ERRATA_430973=y CONFIG_ARM_ERRATA_643719=y CONFIG_ARM_ERRATA_754327=y @@ -35,6 +32,13 @@ CONFIG_KERNEL_MODE_NEON=y # CONFIG_DEBUG_LL is not set ## +## file: arch/arm/Kconfig.platforms +## +# CONFIG_ARCH_MULTI_V6 is not set +CONFIG_ARCH_MULTI_V7=y +CONFIG_ARCH_VIRT=y + +## ## file: arch/arm/crypto/Kconfig ## CONFIG_CRYPTO_CURVE25519_NEON=m @@ -516,6 +520,11 @@ CONFIG_DRM_TEGRA_STAGING=y CONFIG_DRM_TILCDC=m ## +## file: drivers/gpu/drm/tiny/Kconfig +## +CONFIG_DRM_PANEL_MIPI_DBI=m + +## ## file: drivers/gpu/host1x/Kconfig ## CONFIG_TEGRA_HOST1X=m @@ -550,6 +559,7 @@ CONFIG_SENSORS_ASPEED=m CONFIG_SENSORS_G762=m CONFIG_SENSORS_GPIO_FAN=m CONFIG_SENSORS_LM75=m +CONFIG_SENSORS_LM90=m CONFIG_SENSORS_PWM_FAN=m ## @@ -724,6 +734,7 @@ CONFIG_MEDIA_CONTROLLER=y ## file: drivers/media/cec/platform/Kconfig ## CONFIG_CEC_STM32=m +CONFIG_CEC_TEGRA=m ## ## file: drivers/media/platform/Kconfig @@ -736,7 +747,7 @@ CONFIG_VIDEO_MUX=m CONFIG_VIDEO_ASPEED=m ## -## file: drivers/media/platform/chips-media/Kconfig +## file: drivers/media/platform/chips-media/coda/Kconfig ## CONFIG_VIDEO_CODA=m @@ -1064,12 +1075,23 @@ CONFIG_MDIO_SUN4I=y CONFIG_MDIO_ASPEED=m ## +## file: drivers/net/phy/Kconfig +## +CONFIG_ADIN_PHY=m + +## ## file: drivers/net/wireless/broadcom/brcm80211/brcmfmac/Kconfig ## CONFIG_BRCMFMAC=m CONFIG_BRCMFMAC_SDIO=y ## +## file: drivers/net/wireless/marvell/mwifiex/Kconfig +## +CONFIG_MWIFIEX=m +CONFIG_MWIFIEX_SDIO=m + +## ## file: drivers/net/wireless/ti/Kconfig ## CONFIG_WLAN_VENDOR_TI=y @@ -1207,6 +1229,16 @@ CONFIG_OLPC_XO175=y CONFIG_OLPC_XO175_EC=m ## +## file: drivers/pmdomain/bcm/Kconfig +## +CONFIG_RASPBERRYPI_POWER=y + +## +## file: drivers/pmdomain/rockchip/Kconfig +## +CONFIG_ROCKCHIP_PM_DOMAINS=y + +## ## file: drivers/power/reset/Kconfig ## CONFIG_POWER_RESET=y @@ -1235,6 +1267,7 @@ CONFIG_CHARGER_ISP1704=m CONFIG_CHARGER_TWL4030=m CONFIG_CHARGER_GPIO=m CONFIG_CHARGER_BQ2415X=m +CONFIG_CHARGER_BQ24735=m ## ## file: drivers/pwm/Kconfig @@ -1345,15 +1378,9 @@ CONFIG_ASPEED_LPC_SNOOP=m CONFIG_ASPEED_P2A_CTRL=m ## -## file: drivers/soc/bcm/Kconfig -## -CONFIG_RASPBERRYPI_POWER=y - -## ## file: drivers/soc/rockchip/Kconfig ## CONFIG_ROCKCHIP_IODOMAIN=m -CONFIG_ROCKCHIP_PM_DOMAINS=y ## ## file: drivers/soc/tegra/Kconfig @@ -1598,7 +1625,6 @@ CONFIG_BACKLIGHT_GPIO=m ## ## file: drivers/video/fbdev/Kconfig ## -CONFIG_FB_ARMCLCD=y CONFIG_FB_EFI=y CONFIG_FB_VT8500=y CONFIG_FB_WM8505=y @@ -1690,6 +1716,7 @@ CONFIG_SND_BCM2835_SOC_I2S=m ## CONFIG_SND_SOC_CS42L51_I2C=m CONFIG_SND_SOC_SPDIF=y +CONFIG_SND_SOC_WM8804_I2C=m ## ## file: sound/soc/fsl/Kconfig |