# SPDX-License-Identifier: GPL-2.0-only
#
# Hobot SDEI BACKTRACE drivers
#

comment "Hobot SDEI BACKTRACE Drivers"

config HB_SDEI_BACKTRACE
	tristate "Hobot sdei backtrace"
	depends on EFI
	depends on ACPI
	depends on ACPI_APEI
	depends on HAVE_ACPI_APEI
	depends on ACPI_APEI_GHES
	depends on ARM_SDE_INTERFACE
	depends on ARCH_SUPPORTS_ACPI
	depends on TEE
	default y
