kernel-default from home:dmdiss:selinux_earlyboot 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:dmdiss:selinux_earlyboot/pool/home:dmdiss:selinux_earlyboot.repo zypper refresh zypper install kernel-default