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
11