[09:56] <svinoba> Hi, I just realised I'm having 5.0.0 series kernel although I'm running focal devel branch. Normal apt update/upgrade/dist-upgrade is not upgrading the kernel. How can I upgrade kernel?
[10:03] <alkisg> svinoba: for the development ubuntu version, #ubuntu+1 channel is used. That said, you're probably just missing the linux-generic package
[10:05] <svinoba> alkisg, thank you for both pointers.
[10:05] <alkisg> np