kernel-debug from home:dfaggioli:devel:bsc1253122 project
Select Your Operating System
Add repository and install manually
For pool run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:dfaggioli:devel:bsc1253122/pool/home:dfaggioli:devel:bsc1253122.repo zypper refresh zypper install kernel-debug