Hi, On Thursday, 26 December 2019 22:28:19 CET TEP wrote:
[...] supermin: kernel: kernel version of /boot/vmlinuz-4.15.0-72-generic = 4.15.0-72-generic (from filename) supermin: kernel: picked modules path /lib/modules/4.15.0-72-generic supermin: kernel: kernel version of /boot/vmlinuz-4.15.0-54-generic = 4.15.0-54-generic (from content) supermin: kernel: picked modules path /lib/modules/4.15.0-54-generic supermin: kernel: picked vmlinuz /boot/vmlinuz-4.15.0-72-generic supermin: kernel: kernel_version 4.15.0-72-generic supermin: kernel: modpath /lib/modules/4.15.0-72-generic cp: cannot open '/boot/vmlinuz-4.15.0-72-generic' for reading: Permission denied
This is the well-known issue in Ubuntu: https://bugs.launchpad.net/bugs/759725 The workaround is to `chmod +x /boot/vmlinuz-*` as root (i.e. make kernels readable by any user). -- Pino Toscano