kernel-debug from home:pauloac:kernel-boo1206935 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:pauloac:kernel-boo1206935/pool/home:pauloac:kernel-boo1206935.repo zypper refresh zypper install kernel-debug