kernel-debug from home:bpetkov:15sp3-noibpb 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:bpetkov:15sp3-noibpb/pool/home:bpetkov:15sp3-noibpb.repo zypper refresh zypper install kernel-debug