1# SPDX-License-Identifier: GPL-2.0-only 2menu "Broadcom SoC drivers" 3 4config BCM2835_POWER 5 bool "BCM2835 power domain driver" 6 depends on ARCH_BCM2835 || (COMPILE_TEST && OF) 7 default y if ARCH_BCM2835 8 select PM_GENERIC_DOMAINS if PM 9 select RESET_CONTROLLER 10 help 11 This enables support for the BCM2835 power domains and reset 12 controller. Any usage of power domains by the Raspberry Pi 13 firmware means that Linux usage of the same power domain 14 must be accessed using the RASPBERRYPI_POWER driver 15 16config RASPBERRYPI_POWER 17 bool "Raspberry Pi power domain driver" 18 depends on ARCH_BCM2835 || (COMPILE_TEST && OF) 19 depends on RASPBERRYPI_FIRMWARE=y 20 select PM_GENERIC_DOMAINS if PM 21 help 22 This enables support for the RPi power domains which can be enabled 23 or disabled via the RPi firmware. 24 25config SOC_BRCMSTB 26 bool "Broadcom STB SoC drivers" 27 depends on ARM || ARM64 || BMIPS_GENERIC || COMPILE_TEST 28 select SOC_BUS 29 help 30 Enables drivers for the Broadcom Set-Top Box (STB) series of chips. 31 This option alone enables only some support code, while the drivers 32 can be enabled individually within this menu. 33 34 If unsure, say N. 35 36source "drivers/soc/bcm/brcmstb/Kconfig" 37 38endmenu 39