(In reply to Michal Suchanek from comment #14) > 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. This discussion thread seems to boil down to the following question: which repo should Leap users point to if they want to track various upstream kernels? Kernel:/stable:/Backport/standard tracks stable for 15.2 users Kernel:HEAD:Backport appears to track mainline for 15.3 users Is there a corresponding repo that tracks stable for 15.3 users? (I guess things were simpler in the past before the kernel began to depend on glibc 2.33...)