cgd@netbsd.org (Chris G. Demetriou) writes:

> It doesn't help with the issue of what you do when the booted kernel
> doesn't exist on /, or is somehow differently named, or moving the
> kernel after you've booted, or (worse) all you can easily
> communicate is kernel name and the kernel on / with that name is
> _different_ than the one that you booted.

It would perhaps be possible to add a device/inode/generation numbers
(or even a checksum)?

/Johan