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