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