Discussion:
What is file /boot/vmlinux-XXX.gz?
(too old to reply)
Andrei Borzenkov
2014-10-10 10:25:55 UTC
Permalink
Raw Message
I hit a glitch in os-prober which under some conditions takes
files /boot/vmlinux-XXX.gz as kernels and generates menu entries for
them. What are these files for? I wonder how I can reliably skip the
without breaking some valid case.
Jeff Mahoney
2014-10-10 14:08:38 UTC
Permalink
Raw Message
I hit a glitch in os-prober which under some conditions takes files
/boot/vmlinux-XXX.gz as kernels and generates menu entries for
them. What are these files for? I wonder how I can reliably skip
the without breaking some valid case.
Yeah, grub should skip those, at least for the physical hardware boot.
I thought those were only supposed to be installed with
kernel-$flavor-devel, but I must be mistaken.

- -Jeff

- --
Jeff Mahoney
SUSE Labs
Michal Marek
2014-10-10 14:16:05 UTC
Permalink
Raw Message
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
I hit a glitch in os-prober which under some conditions takes files
/boot/vmlinux-XXX.gz as kernels and generates menu entries for
them. What are these files for? I wonder how I can reliably skip
the without breaking some valid case.
Yeah, grub should skip those, at least for the physical hardware boot.
I thought those were only supposed to be installed with
kernel-$flavor-devel, but I must be mistaken.
They used to be, but then the vmlinux debuginfo ended up in
kernel-$flavor-devel-debuginfo, so I moved vmlinux.gz back.

Michal

Loading...