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 8endmenu 9