[Kernel_stable_tools]
name=Support packages for use with stable kernel (openSUSE_Leap_42.3)
type=rpm-md
baseurl=http://download.opensuse.org/repositories/Kernel:/stable:/tools/openSUSE_Leap_42.3/
gpgcheck=1
gpgkey=http://download.opensuse.org/repositories/Kernel:/stable:/tools/openSUSE_Leap_42.3/repodata/repomd.xml.key
enabled=1