kernel-debug from home:dmdiss:selinux_earlyboot project

Select Your Operating System

For pool run the following as root:
zypper addrepo https://download.opensuse.org/repositories/home:dmdiss:selinux_earlyboot/pool/home:dmdiss:selinux_earlyboot.repo
zypper refresh
zypper install kernel-debug