# SPDX-License-Identifier: MIT
CONFIG_TRACE_IRQFLAGS_SUPPORT=y
CONFIG_STACKTRACE_SUPPORT=y
CONFIG_LOCKDEP_SUPPORT=y