1# Reset Controller driver configuration options
2
3# Copyright (c) 2022 Andrei-Edward Popa <andrei.popa105@yahoo.com>
4# SPDX-License-Identifier: Apache-2.0
5
6#
7# Reset Controller options
8#
9menuconfig RESET
10	bool "Reset Controller drivers"
11	help
12	  Reset Controller drivers. Reset node represents a region containing
13	  information about reset controller device. The typical use-case is
14	  for some other node's drivers to acquire a reference to the reset
15	  controller node together with some reset information.
16
17if RESET
18
19config RESET_INIT_PRIORITY
20	int "Reset Controller driver init priority"
21	default 35
22	help
23	  This option controls the priority of the reset controller device
24	  initialization. Higher priority ensures that the device is
25	  initialized earlier in the startup cycle. If unsure, leave at default
26	  value
27
28comment "Reset Controller Drivers"
29
30rsource "Kconfig.rpi_pico"
31rsource "Kconfig.gd32"
32rsource "Kconfig.aspeed"
33rsource "Kconfig.stm32"
34rsource "Kconfig.numaker"
35rsource "Kconfig.intel_socfpga"
36
37endif # RESET
38