What is file /boot/vmlinux-XXX.gz?

[Andrei Borzenkov]

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]

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]

-----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