# Copyright (c) 2025, Texas Instruments
# SPDX-License-Identifier: Apache-2.0

config TISCI
	bool "TISCI Firmware driver"
	default y
	depends on DT_HAS_TI_K2G_SCI_ENABLED
	select MBOX
	help
	  TISCI firmware driver is a frontend interface
	  to TI System Controller interface firmware through
	  secureproxy mailbox.

if TISCI

config TISCI_INIT_PRIORITY
	int "TISCI init priority"
	default KERNEL_INIT_PRIORITY_OBJECTS
	help
	  Init priority for the TISCI driver.

endif
