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

 
1menu "HW tracing support"
2
3source "drivers/hwtracing/stm/Kconfig"
4
5source "drivers/hwtracing/intel_th/Kconfig"
 
 
6
7endmenu