1# SPDX-License-Identifier: GPL-2.0-only
 2menu "HW tracing support"
 3
 4source "drivers/hwtracing/stm/Kconfig"
 5
 6source "drivers/hwtracing/intel_th/Kconfig"
 7
 8source "drivers/hwtracing/ptt/Kconfig"
 9
10endmenu