One more confirmation that Kernel 5.0 is installed and version 4.19 is
in use. Is it not the version of kernel 5.0 that should be in use?
edson@edson-p6540br:~$ ls /boot | grep vmlinuz | cut -d'-' -f2,3
4.19.0-13
5.0.0-7
edson@edson-p6540br:~$ dpkg --list | grep linux-image
rc linux-image-4.18.0-11-generic 4.18.0-11.12
amd64 Signed kernel image generic
rc linux-image-4.19.0-12-generic 4.19.0-12.13
amd64 Signed kernel image generic
ii linux-image-4.19.0-13-generic 4.19.0-13.14
amd64 Signed kernel image generic
ii linux-image-5.0.0-7-generic 5.0.0-7.8
amd64 Signed kernel image generic
ii linux-image-generic 5.0.0.7.8
amd64 Generic Linux kernel image
edson@edson-p6540br:~$ uname -r
4.19.0-13-generic
edson@edson-p6540br:~$
Thanks
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1818772
Title:
[disco-proposed] On the Boot splash screen, Grub does not show the 5.0
kernel installed.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub/+bug/1818772/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
