Comment # 14 on bug 1187383 from Michal Suchanek

(In reply to Martin Wilck from comment #13)
> These repos aren't made for Leap. I can't install kernel-default-devel on
> Leap at all:
> 
> > zypper in kernel-default-devel-5.13~rc6-2.1.gb5e23d2 
> > Loading repository data...
> > Reading installed packages...
> > Resolving package dependencies...
> > 
> > Problem: nothing provides 'libc.so.6(GLIBC_2.33)(64bit)' needed by the to be installed kernel-default-devel-5.13~rc6-2.1.gb5e23d2.x86_64

That's not a kernel built on leap so it's not installable. That's a known
problem.

You should be able to install a kernel built on Leap from the repo mentioned
above.