Re: [gentoo-user] gummiboot does not display new kernel

[Tom H <tomh0665@gmail.com>]

On Sun, Mar 8, 2015 at 12:56 PM, Canek Peláez Valdés <caneko@gmail.com> wrote:
> On Sun, Mar 8, 2015 at 10:51 AM, Tom H <tomh0665@gmail.com> wrote:
>>
>> "version"?! I've never seen this and I don't use it.
>
> From [1]:
>
> title               text to show in the menu
> version  version string to append to the title when the title is not unique
> machine-id  machine identifier to append to the title when the title is not
> unique
> efi  executable EFI image
> options  options to pass to the EFI image / kernel command line
> linux  linux kernel image (gummiboot still requires the kernel to have an
> EFI stub)
> initrd  initramfs image (gummiboot just adds this as option initrd=)
>
> [1] http://freedesktop.org/wiki/Software/gummiboot/

Thanks. I'm sure that I've read this page in the past so I must've
either ignored or forgotten the title/version combo. I've just checked
the Arch and Gentoo wikis and neither mention "version" so I'm in more
or less good company.

And not any closer to understanding the reason for Stefan's problem. :(