https://bugzilla.suse.com/show_bug.cgi?id=1195929 https://bugzilla.suse.com/show_bug.cgi?id=1195929#c4 --- Comment #4 from Takashi Iwai <tiwai@suse.com> --- Get kernel-default-5.*.rpm, kernel-default-extra-5.*.rpm and kernel-default-optional-5.*.rpm from the download page of OBS Kernel:SLE15-SP3 repo: https://download.opensuse.org/repositories/Kernel:/SLE15-SP3/pool/ Then install those files via zypper, zypper install kernel-default-*.rpm And reboot. That's all. If you're using Secure Boot, this might be not bootable; disable Secure Boot on BIOS beforehand. -- You are receiving this mail because: You are the assignee for the bug.