Files
opensbi/lib/utils/reset/Kconfig
2023-03-20 21:29:01 +08:00

48 lines
807 B
Plaintext

# SPDX-License-Identifier: BSD-2-Clause
menu "System Reset Support"
config FDT_RESET
bool "FDT based reset drivers"
depends on FDT
default n
if FDT_RESET
config FDT_RESET_ATCWDT200
bool "Andes WDT FDT reset driver"
depends on SYS_ATCSMU
default n
config FDT_RESET_GPIO
bool "GPIO FDT reset driver"
depends on FDT_GPIO
default n
config FDT_RESET_HTIF
bool "Host transfer interface (HTIF) FDT reset driver"
select SYS_HTIF
default n
config FDT_RESET_SIFIVE_TEST
bool "SiFive Test FDT reset driver"
select SYS_SIFIVE_TEST
default n
config FDT_RESET_SOPHGO_MCU
bool "Sophgo MCU FDT reset driver"
select SYS_SOPHGO_MCU
default n
config FDT_RESET_SUNXI_WDT
bool "Sunxi WDT FDT reset driver"
default n
config FDT_RESET_THEAD
bool "T-HEAD FDT reset driver"
default n
endif
endmenu