[Kernel_tools_debug]
name=Tools for working with the SUSE kernel sources (SLE_15_SP1)
type=rpm-md
baseurl=https://download.opensuse.org/repositories/Kernel:/tools/SLE_15_SP1_debug/
gpgcheck=1
gpgkey=https://download.opensuse.org/repositories/Kernel:/tools/SLE_15_SP1_debug/repodata/repomd.xml.key
enabled=1