On Sun, 18 May 2014 18:09:32 +0200 Patrick Dupre wrote: > How does it get this information? I always thought grubby just copied the entry for the current kernel and replaced the vmlinuz and initrd with the new names it just installed, but it may be more complicated than that.