1# Copyright (c) 2023 TOKITA Hiroshi <tokita.hiroshi@fujitsu.com> 2# SPDX-License-Identifier: Apache-2.0 3 4config REGULATOR_RPI_PICO 5 bool "RaspberryPi Pico regulator driver" 6 default y 7 depends on DT_HAS_RASPBERRYPI_CORE_SUPPLY_REGULATOR_ENABLED 8 help 9 Enable support for the RaspberryPi Pico regulator. 10 11if REGULATOR_RPI_PICO 12 13config REGULATOR_RPI_PICO_INIT_PRIORITY 14 int "RaspberryPi Pico regulator driver init priority" 15 default KERNEL_INIT_PRIORITY_DEVICE 16 help 17 Init priority for the RaspberryPi Pico regulator driver. 18 19endif 20